summaryrefslogtreecommitdiff
path: root/docs/configure.in
diff options
context:
space:
mode:
Diffstat (limited to 'docs/configure.in')
-rw-r--r--docs/configure.in4
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/configure.in b/docs/configure.in
index 227a91e286..ea75ef669b 100644
--- a/docs/configure.in
+++ b/docs/configure.in
@@ -25,6 +25,10 @@ AC_ARG_WITH(fontsize,
[ --with-fontsize Specify the fontsize in points (default: 10.5) ],
[ test "$withval" && FONTSIZE="$withval" ])
+AC_ARG_ENABLE(printable,
+[ --enable-printable Printable output (expand ulinks, etc)],
+[ test "$withval" && DUPLICATE_ULINKS="footnote" ])
+
DOC_BUILD_DATE=`date '+%d-%m-%Y'`
AC_SUBST(DOC_BUILD_DATE)