source-highlight-settings(1) - Linux man page
Name
Source-highlight-settings - utility that can be used to write a configuration file for GNU Source-highlight (and its library)Synopsis
source-highlight-settingsDescription
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 © 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.