Re: generated documentation

[Miles Bader]

Werner LEMBERG <address@hidden> writes:
> (1) If the user unpacks the tarball, the rules are not executed.
> (2) If the user does a bootstrap from the repository to do `make
>     dist', they are needed.
> (3) If the user changes a doc source file in the tarball and wants to
>     regenerate the documentation, the rules are needed too.
...
> (b) If the tests for pandoc and pdftex fail, disable the build rules
>     or provide no-ops.  This is OK for (1) and (3), but not
>     satisfactory for (2).

Why is (b) unsatisfactory for (2)?

I'm presuming that when pandoc/pdftex are not found, not only are the
standard makefile rules using them disabled, but alternative rules
enabled which just say something like:

if have_pandoc
  foo.html: foo.tex
        $(PANDOC) balah blah blah
else
  foo.html: foo.tex
        echo 1>&2 "**** OMGOMG can't generate address@hidden"
        echo 1>&2 "**** please install pandoc and reconfigure"
endif

-miles  

-- 
`Suppose Korea goes to the World Cup final against Japan and wins,' Moon said.
`All the past could be forgiven.'   [NYT]