-# Flags needed to enable html installing and building
-
-# Check whether --with-datarootdir was given.
-if test "${with_datarootdir+set}" = set; then :
- withval=$with_datarootdir; datarootdir="\${prefix}/${withval}"
-else
- datarootdir="\${prefix}/share"
-fi
-
-
-
-# Check whether --with-docdir was given.
-if test "${with_docdir+set}" = set; then :
- withval=$with_docdir; docdir="\${prefix}/${withval}"
-else
- docdir="\${datarootdir}/doc"
-fi
-
-
-
-# Check whether --with-pdfdir was given.
-if test "${with_pdfdir+set}" = set; then :
- withval=$with_pdfdir; pdfdir="\${prefix}/${withval}"
-else
- pdfdir="\${docdir}"
-fi
-
-
-
-# Check whether --with-htmldir was given.
-if test "${with_htmldir+set}" = set; then :
- withval=$with_htmldir; htmldir="\${prefix}/${withval}"
-else
- htmldir="\${docdir}"
-fi
-
-
-
-
-
-
-