source-highlight-settings - Man Page

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 settings 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>

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.

Info

May 2009 Source-highlight-settings