2013-08-12 Glenn Morris <rgm@gnu.org>
+ * woman.texi (Top): Avoid mailto: in html output.
+
* Makefile.in (prefix, datarootdir, datadir, PACKAGE_TARNAME)
(docdir, dvidir, htmldir, pdfdir, psdir, GZIP_PROG, INSTALL)
(INSTALL_DATA): New, set by configure.