diff options
Diffstat (limited to 'docs/configure.in')
| -rw-r--r-- | docs/configure.in | 4 |
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) |