From 0f280b609948323b466c6d8d45e44cb2d0a31956 Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Mon, 1 Dec 1997 18:50:09 +0000
Subject: [PATCH] Use $LOGNAME instead of $USER to get the current user -- it
 seems to be the state of the art.

---
 Doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/Makefile b/Doc/Makefile
index c797b770ca..b01cbf7060 100644
--- 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
-- 
2.40.0