On Thu, Mar 18, 2010 at 11:56 AM, Allan McRae <[email protected]> wrote: > On 17/03/10 04:26, Xavier Chantry wrote: >> >> That misses the problem, which is that asciidoc is not required if man >> pages are already built (in released tarballs as opposed to git >> sources). > > Can we use "make -q" in the doc directory to test if any doc building is > needed? The main issue with that approach is that the makefile is generated > by the configure... So that would need to be run after the makefile is > created which might be weird. >
I don't know how to handle that. But there is still the proposal in my first answer : Maybe a solution would be to have a strict asciidoc checking by default, and add a configure option to skip that check (and maybe building of docs but not install). Then we could also keep docs enabled by default.
