diff options
-rw-r--r-- | DOCS/tech/release-howto.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/tech/release-howto.txt b/DOCS/tech/release-howto.txt index dfc98e7825..504f522d9e 100644 --- a/DOCS/tech/release-howto.txt +++ b/DOCS/tech/release-howto.txt @@ -31,7 +31,7 @@ create the release tree: echo "#define VERSION \"1.0pre5-$1 \"" > version.h ============ -- build the HTML docs from XML sources, then cleanup. +- build the HTML docs from XML sources, then clean up: make html-chunked; make releaseclean release the tree: |