webmaster's email address

diff --git a/doc/Makefile b/doc/Makefile
index 239750c70179ed5464b0efd116b658443633ea06..cff7ec47e8d11b2f08b83bdc42029d5c3b558c99 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -13,6 +13,7 @@ CSS != cat style.css
 govpn.html: *.texi handshake.utxt
        rm -f govpn.html/*.html
        $(MAKEINFO) --html \
+               --set-customization-variable EXTRA_HEAD='<link rev="made" href="mailto:webmaster@govpn.info">' \
                --set-customization-variable CSS_LINES='$(CSS)' \
                --set-customization-variable SHOW_TITLE=0 \
                --set-customization-variable USE_ACCESSKEY=0 \