Re: [PATCH] Documentation: Fix build failure of docs.

[Saikiran Madugula <hummerbliss@gmail.com>]

Michael J Gruber wrote:
> Saikiran Madugula venit, vidit, dixit 28.07.2009 18:39:
>>>
>> People would start using latest versions of ascii doc which has no problems,
>> wouldn't it be better if the default compile options suit them ? Also, it would
>> be good if "make install man", would do "quick-install-man" as default to
>> prevent users from the painful compilation of manpages everytime they try to
>> install latest git.
> 
> "make install" does not build any documentation at all, so that should
> be no source of pain.
> 
> The user decides which we to go: install-man or quick-install-man.
> 
> Having the defaults set up so that recent "mainstream" versions of the
> tool chain work without extra options may sound like a good idea - but
> that would mean changing options again and again. I think we should do
> this for major milestones (say git 1.7).
> 
> Michael
Sure.