--- makefile.orig Fri Dec 30 15:35:19 1994 +++ makefile Fri Dec 30 15:35:32 1994 @@ -41,8 +41,8 @@ DVITOGHOSTSCRIPT = dvi2ps indent.dvi > indent.ps CTAGS = etags -CFLAGS = -O -LDFLAGS = -g +CFLAGS = -O2 +LDFLAGS = -s # C compiler -D options. DEFS = -DHAVE_UNISTD_H=1 -DDIRENT=1