Author: Ralf Treinen <treinen@debian.org>
Description: Remove external url from source of documentation.

Index: bibtex2html/manual.tex
===================================================================
--- bibtex2html.orig/manual.tex	2018-03-23 21:14:52.000000000 +0100
+++ bibtex2html/manual.tex	2018-03-23 21:27:49.830992177 +0100
@@ -872,7 +872,7 @@
 
 \end{enumerate}
 
-%HEVEA\begin{rawhtml}<hr><img src="http://www.lri.fr/~filliatr/icons/mail.gif" ALIGN=middle><em><a href="mailto:Jean-Christophe.Filliatre[at]lri.fr, Claude.Marche[at]lri.fr">mail to authors</a> , Fri Feb 12 17:46:23 1999\end{rawhtml}
+%HEVEA\begin{rawhtml}<hr><em><a href="mailto:Jean-Christophe.Filliatre[at]lri.fr, Claude.Marche[at]lri.fr">mail to authors</a> , Fri Feb 12 17:46:23 1999\end{rawhtml}
 
 \end{document}
 
