5 |
|
|
6 |
GCL_DVI=gcl-tk.dvi gcl-si.dvi gcl.dvi |
GCL_DVI=gcl-tk.dvi gcl-si.dvi gcl.dvi |
7 |
GCL_HTML=gcl-si_toc.html gcl-tk_toc.html gcl_toc.html |
GCL_HTML=gcl-si_toc.html gcl-tk_toc.html gcl_toc.html |
8 |
|
HTML_CMD=texi2html -split_chapter |
9 |
|
|
10 |
-include ../makedefs |
-include ../makedefs |
11 |
|
|
47 |
-$(MAKEINFO) gcl.texi |
-$(MAKEINFO) gcl.texi |
48 |
|
|
49 |
gcl-si_toc.html: |
gcl-si_toc.html: |
50 |
texi2html -split_chapter gcl-si.texi |
$(HTML_CMD) gcl-si.texi |
|
# makeinfo --html gcl-si.texi |
|
51 |
|
|
52 |
gcl-tk_toc.html: |
gcl-tk_toc.html: |
53 |
texi2html -split_chapter gcl-tk.texi |
$(HTML_CMD) gcl-tk.texi |
|
# makeinfo --html gcl-tk.texi |
|
54 |
|
|
55 |
gcl_toc.html: |
gcl_toc.html: |
56 |
texi2html -split_chapter gcl.texi |
$(HTML_CMD) gcl.texi |
|
# makeinfo --html gcl.texi |
|
57 |
|
|
58 |
install-html: gcl-tk_toc.html gcl-si_toc.html gcl_toc.html |
install-html: gcl-tk_toc.html gcl-si_toc.html gcl_toc.html |
59 |
cp *.html /d/www/gcl |
cp *.html /d/www/gcl |