|
|
Are You All Getting Ready for the New Options Symbology?
|
|
SOURCE-HIGHLIGHT-SETTINGS(1) User Commands SOURCE-HIGHLIGHT-SETTINGS(1) NAME
Source-highlight-settings - utility that can be used to write a configuration file for GNU Source-highlight (and its library) SYNOPSIS
source-highlight-settings DESCRIPTION
Since version 3.0, GNU Source-highlight includes also the utility source-highlight-settings, which can be used to check whether source-highlight will be able to find its language definition files, and other configuration files, and in case, to store the correct set- tings in a configuration file, in the user home directory. In particular, the stored configuration file will be called source-highlight.conf and will be stored in $HOME/.source-highlight/. For the moment, this file only stores the default value for the --data-dir option. This utility is part of GNU Source-highlight, maintained by: Lorenzo Bettini <http://www.lorenzobettini.it> REPORTING BUGS
Report bugs to <bug-source-highlight at gnu.org> COPYRIGHT
Copyright (C) 1999-2009 Lorenzo Bettini <http://www.lorenzobettini.it> This program comes with ABSOLUTELY NO WARRANTY. This is free software; you may redistribute copies of the program under the terms of the GNU General Public License. For more information about these matters, see the file named COPYING. SEE ALSO
The full documentation for source-highlight is maintained as a Texinfo manual. If the info and source-highlight programs are properly installed at your site, the command info source-highlight should give you access to the complete manual. Source-highlight-settings May 2009 SOURCE-HIGHLIGHT-SETTINGS(1)
