diff options
Diffstat (limited to 'release')
-rw-r--r-- | release/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index 7c2f623..037485c 100644 --- a/release/Makefile +++ b/release/Makefile @@ -987,7 +987,7 @@ doc.1: # doc.2: @echo "Making release documentation..." - @cd ${.CURDIR}/doc && make all install clean 'FORMATS=html txt' + @cd ${.CURDIR}/doc && make all install clean 'FORMATS=html txt' \ INSTALL_COMPRESSED='' DOCDIR=${RND} touch ${.TARGET} |