Matthew Flatt e249acdbed doc search & redirect: user as an extension of main ... When rendering the user documentation-search page or local-redirect page, only user-specific documentation is included, which makes rendering faster and automatically picks up any installation-scope additions. The documentation start page is still static, so the user version doesn't pick up installation-scope additions in the same way. Related to PR 14180 (cherry picked from commit 7bba67d107)		2013-12-06 14:47:39 -05:00
..
collects	doc search & redirect: user as an extension of main	2013-12-06 14:47:39 -05:00
src	fix an error message	2013-11-26 22:48:07 -05:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00