Re: making docs

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