configuration files for the online manual pages