Ensure the compressed documentation is always built.

Add USE_COMPRESSED to makedoc-defs.h so any conditional documentation
will always be built.

diff --git a/doc/makedoc-defs.h b/doc/makedoc-defs.h
index ac6cd33e09e273c8aed661d3514cbb9d1abc4fe7..61675ab6b0e7a0617a40735faf015920227f0286 100644 (file)
--- a/doc/makedoc-defs.h
+++ b/doc/makedoc-defs.h
@@ -58,4 +58,7 @@
 # ifndef USE_SIDEBAR
 #  define USE_SIDEBAR
 # endif
+# ifndef USE_COMPRESSED
+#  define USE_COMPRESSED
+# endif
 #endif