113 |
# end makedefs |
# end makedefs |
114 |
|
|
115 |
|
|
116 |
all: gcl-tk.info gcl-si.info |
all: gcl-tk.info gcl-si.info gcl-tk.dvi gcl-si.dvi gcl-si_toc.html gcl-tk_toc.html |
117 |
|
|
118 |
.texi.info: |
.texi.info: |
119 |
rm -f $*.*gz |
rm -f $*.*gz |
128 |
GCL_TK= general.texi widgets.texi control.texi |
GCL_TK= general.texi widgets.texi control.texi |
129 |
|
|
130 |
gcl-si.dvi: ${GCL_SI} gcl-si.texi |
gcl-si.dvi: ${GCL_SI} gcl-si.texi |
131 |
tex gcl-si.texi |
tex --interaction nonstopmode gcl-si.texi || true |
132 |
|
|
133 |
gcl-si.info: |
gcl-si.info: |
134 |
makeinfo gcl-si.texi |
makeinfo gcl-si.texi |
172 |
@echo so do 'make tex' again |
@echo so do 'make tex' again |
173 |
|
|
174 |
clean: |
clean: |
175 |
|
rm -f *.info* *.html *.dvi *.cp *.ky *.vr *.tp *.pg *.toc *.aux *.log *.fn |