On Wed, 15 Dec 1999, Wichert Akkerman wrote: > Previously Nils Lohner wrote: > > -- --without-doc option > > espy and doogie made a good point: --without-doc shoudn't exist because > > there should just be a check for the tools that create the docs and if they > > don't exist, automatically skip it. > > True I guess..
Not quite. We stated that the build shouldn't die because of missing programs. If the tools don't exist, don't build the files that need the tools. However, --without-doc should still exist, so you can disable the doc files even if the tools do exist. ----BEGIN GEEK CODE BLOCK---- Version: 3.12 GCS d- s: a-- c+++ UL++++ P+ L++++ !E W+ M o+ K- W--- !O M- !V PS-- PE++ Y+ PGP++ t* 5++ X+ tv b+ D++ G e h*! !r z? -----END GEEK CODE BLOCK----- ----BEGIN PGP INFO---- Adam Heath <[EMAIL PROTECTED]> Finger Print | KeyID 67 01 42 93 CA 37 FB 1E 63 C9 80 1D 08 CF 84 0A | DE656B05 PGP AD46 C888 F587 F8A3 A6DA 3261 8A2C 7DC2 8BD4 A489 | 8BD4A489 GPG -----END PGP INFO-----
