9 |
|
|
10 |
.texi.info: |
.texi.info: |
11 |
rm -f $*.*gz |
rm -f $*.*gz |
12 |
makeinfo $*.texi |
-$(MAKEINFO) $*.texi |
13 |
- gzip $*.info-* |
- gzip $*.info-* |
14 |
|
|
15 |
GCL_SI= number.texi sequence.texi character.texi list.texi io.texi \ |
GCL_SI= number.texi sequence.texi character.texi list.texi io.texi \ |
23 |
TEXINPUTS=.:$$TEXINPUTS tex --interaction nonstopmode gcl-si.texi || true |
TEXINPUTS=.:$$TEXINPUTS tex --interaction nonstopmode gcl-si.texi || true |
24 |
|
|
25 |
gcl-si.info: |
gcl-si.info: |
26 |
makeinfo gcl-si.texi |
-$(MAKEINFO) gcl-si.texi |
27 |
|
|
28 |
gcl-tk.dvi: ${GCL_TK} gcl-tk.texi |
gcl-tk.dvi: ${GCL_TK} gcl-tk.texi |
29 |
TEXINPUTS=.:$$TEXINPUTS tex --interaction nonstopmode gcl-tk.texi || true |
TEXINPUTS=.:$$TEXINPUTS tex --interaction nonstopmode gcl-tk.texi || true |
30 |
|
|
31 |
gcl-tk.info: ${GCL_TK} gcl-tk.texi |
gcl-tk.info: ${GCL_TK} gcl-tk.texi |
32 |
makeinfo gcl-tk.texi |
-$(MAKEINFO) gcl-tk.texi |
33 |
|
|
34 |
gcl-si_toc.html: |
gcl-si_toc.html: |
35 |
texi2html -split_chapter gcl-si.texi |
texi2html -split_chapter gcl-si.texi |