Use $LOGNAME instead of $USER to get the current user -- it seems to

be the state of the art.

diff --git a/Doc/Makefile b/Doc/Makefile
index c797b770ca111228b035ce267c28994f6fb216d0..b01cbf7060c2af8ea0d525af8252ccb9bdfa0056 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -51,7 +51,7 @@ BIBTEX=               bibtex
 DVIPS=         dvips -f -N0
 MAKEINDEX=     makeindex
 L2H=           latex2html
-L2HARGS=       -address $$USER@`domainname`
+L2HARGS=       -address $$LOGNAME@`domainname`
 
 # Install destination -- not used now but might be useful some time...
 DESTDIR=       /usr/local