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

gvanrossum · gvanrossum · commit 0f280b609948 · 1997-12-01T18:50:09.000Z
be the state of the art.
diff --git 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
