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

be the state of the art.
This commit is contained in:
Guido van Rossum 1997-12-01 18:50:09 +00:00
parent 433c8ca328
commit 0f280b6099
1 changed files with 1 additions and 1 deletions

View File

@ -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