making docs
- From
- Ulrich Windl <ulrich.windl@rz.uni-regensburg.de>
- Date
- Apr 14, 2009, 13:09 UTC
- Message-ID
- <49E4A72D.21604.198A9AD@Ulrich.Windl.rkdvmks1.ngate.uni-regensburg.de>
Hi!
THis is a change request: When building Git, many systems lack the tools to build the documentation, so the Manual pages (among others) are not built. When installing, several ".txt" files are installed, but when invoking help like "git commit --help", git only complains about not finding the manual page.
Obvious solutions are: 1) Pre-build the documentation (manual pages) with the source archive. If the sources are used unmodified, the manual pages should be fine 2) If nothing better is found when invoking help, display the text files with a pager
An alternative to 1) would be a add-on "source" package that contains the pre- built documentation. Documentation files should be platform-independent, so that should be fine for almost everyone.
Comments?
Regards, Ulrich