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 |