/[gcl]/gcl/info/makefile
ViewVC logotype

Diff of /gcl/info/makefile

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.18 by vvzhy, Fri Oct 18 10:31:15 2002 UTC revision 1.19 by camm, Mon Oct 28 00:51:11 2002 UTC
# Line 75  tex: Line 75  tex:
75          TEXINPUTS=.:$$TEXINPUTS tex gcl-si.texi          TEXINPUTS=.:$$TEXINPUTS tex gcl-si.texi
76          TEXINPUTS=.:$$TEXINPUTS tex gcl-tk.texi          TEXINPUTS=.:$$TEXINPUTS tex gcl-tk.texi
77          @echo must do twice to get indices correct...          @echo must do twice to get indices correct...
78          @echo so do 'make tex' again          @echo so do '$(MAKE) tex' again
79    
80  clean:  clean:
81          rm -f *.info* *.html *.dvi *.cp *.ky *.vr *.tp *.pg *.toc *.aux *.log *.fn          rm -f *.info* *.html *.dvi *.cp *.ky *.vr *.tp *.pg *.toc *.aux *.log *.fn
82            rm -rf gcl.IC gcl.IE gcl.IG gcl.IP gcl.IR gcl.IT gcl.fu

Legend:
Removed from v.1.18  
changed lines
  Added in v.1.19

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26