diff options
| author | Jeremy Harris <jgh146exb@wizmail.org> | 2021-01-16 12:59:19 +0000 |
|---|---|---|
| committer | Jeremy Harris <jgh146exb@wizmail.org> | 2021-01-16 13:00:17 +0000 |
| commit | b4d6cfa1dac6ac8175dec02cbb50fc57eb4b3acb (patch) | |
| tree | 39addc427b7ff9dac1383e6c188b8e3d44ab0a88 /doc/doc-docbook/Makefile | |
| parent | 45fd1598c1256b36a4f658d00572f97bed34b5bd (diff) | |
docs infrastructure notes
Diffstat (limited to 'doc/doc-docbook/Makefile')
| -rw-r--r-- | doc/doc-docbook/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/doc-docbook/Makefile b/doc/doc-docbook/Makefile index 97f30f1e1..bc7a9b0ae 100644 --- a/doc/doc-docbook/Makefile +++ b/doc/doc-docbook/Makefile @@ -3,10 +3,12 @@ export LC_ALL=C notarget:; @echo "** You must specify a target, in the form x.y, where x is 'filter', 'spec'," - @echo "** or 'test', and y is 'xml', 'fo', 'ps', 'pdf', 'html', 'txt', or 'info'." + @echo "** or 'test', and y is 'xml', 'fo', 'ps', 'pdf', 'txt', or 'info'." @echo "** One other possible targets 'exim.8', 'spec.utf8'". exit 1 +# html used to be supported, but is not here since 50023e0551 (2010). +# The website build script seems to handle it. ############################# EVERYTHING ############################### # |