From: Guido van Rossum Date: Mon, 1 Dec 1997 18:50:09 +0000 (+0000) Subject: Use $LOGNAME instead of $USER to get the current user -- it seems to X-Git-Tag: v1.5b2~150 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=0f280b609948323b466c6d8d45e44cb2d0a31956;p=thirdparty%2FPython%2Fcpython.git 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 c797b770ca11..b01cbf7060c2 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