-
Elliot Lee authored
Copy the man/info filters from gnome-core so I can start modifying them as needed. Make man2html output man: URL's in desired format. Install the page mapping file. Use it for info pages as well as man pages. Don't expand tree by default.
2f1064ff