+# Flags needed to enable html installing and building
+
+# Check whether --with-datarootdir or --without-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 or --without-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 or --without-pdfdir was given.
+if test "${with_pdfdir+set}" = set; then
+ withval="$with_pdfdir"
+ pdfdir="\${prefix}/${withval}"
+else
+ pdfdir="\${docdir}"
+fi;
+
+
+# Check whether --with-htmldir or --without-htmldir was given.
+if test "${with_htmldir+set}" = set; then
+ withval="$with_htmldir"
+ htmldir="\${prefix}/${withval}"
+else
+ htmldir="\${docdir}"
+fi;
+