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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html