diff options
| -rw-r--r-- | DOCS/xml/Makefile | 4 | ||||
| -rw-r--r-- | DOCS/xml/README.maintainers | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 8b57846da8..f540b2b418 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -26,8 +26,8 @@ help: @echo "Substitute LANG for one of $(DOC_LANG_ALL)" html-chunked html-single: xsltproc.sh xmllint.sh -html-chunked: $(HTML_CHUNKED) $(addprefix html-chunked-,$(DOC_LANGS)) -html-single: $(HTML_SINGLE) $(addprefix html-single-,$(DOC_LANGS)) +html-chunked: $(addprefix html-chunked-,$(DOC_LANGS)) +html-single: $(addprefix html-single-,$(DOC_LANGS)) xmllint: xmllint.sh $(addprefix xmllint-,$(DOC_LANG_ALL)) diff --git a/DOCS/xml/README.maintainers b/DOCS/xml/README.maintainers index a17617a555..743d0a71e2 100644 --- a/DOCS/xml/README.maintainers +++ b/DOCS/xml/README.maintainers @@ -2,9 +2,9 @@ The documentation and its translations reside in subdirectories. When building the documentation, the toplevel Makefile goes into the subdirectories listed in the SUBDIRS variable and executes make in each of those directories to create the HTML documentation -in subdirectories of the 'HTML' and 'HTML-single' directories. +in subdirectories of the 'HTML' directory. -IMPORTANT: Do NOT place sensitive files under 'HTML' or 'HTML-single'! +IMPORTANT: Do NOT place sensitive files under 'HTML'! It is for generated documentation only. The whole directory tree is wiped out by the Makefile when running 'make distclean' or 'make clean'. |