Re: Add support for generating HTML docs a` la PDF, etc., revision 2

[Ralf Corsepius]

Am Fre, 2003-02-28 um 12.30 schrieb Richard Dawe:
> Hello.
> 
> Below is a revised version of the patch to add support for an 'html'
> target for generating HTML using makeinfo. Changes:

Hmm, this just caught my eye:
 
> -.PHONY: info info-am dvi dvi-am pdf pdf-am
> +.PHONY: info info-am dvi dvi-am pdf pdf-am html html-am
Is it really a good idea to make "info", "dvi", "pdf" and "html"
make-targets PHONY?

I think, there non-negligible possibility for them to conflict with
sub-directories, eg. if docs are generated dynamically (eg. doxygen
generating its docs into html/) or with subdirectories containing
include-files for documents (e.g. texi-docs conditionally including
files by @ifhtml/@ifinfo etc.).

Esp. html seem critical to me, because unlike dvi, pdf and ps, html docs
often are split into several sub-documents.

Ralf