Parent Directory | Revision Log | Patch
revision 1.21 by camm, Tue Oct 29 03:24:54 2002 UTC | revision 1.22 by mjthomas, Tue Dec 17 04:29:49 2002 UTC | |
---|---|---|
# | Line 5 INFO_DIR=/usr/local/lib/info | Line 5 INFO_DIR=/usr/local/lib/info |
5 | ||
6 | -include ../makedefs | -include ../makedefs |
7 | ||
8 | all: gcl-tk.info gcl-si.info gcl.info gcl-tk.dvi gcl-si.dvi gcl.dvi gcl-si_toc.html gcl-tk_toc.html gcl_toc.html | all: gcl-tk.info gcl-si.info gcl.info $(GCL_DVI) $(GCL_HTML) |
9 | ||
10 | .texi.info: | .texi.info: |
11 | rm -f $*.*gz | rm -f $*.*gz |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |