/[gcl]/gcl/info/makefile
ViewVC logotype

Diff of /gcl/info/makefile

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.10.2.3 by camm, Thu Dec 20 04:37:33 2001 UTC revision 1.10.2.4 by camm, Thu Dec 20 18:36:30 2001 UTC
# Line 113  MPFILES=${GMP_DIR}libgmp.a Line 113  MPFILES=${GMP_DIR}libgmp.a
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
# Line 128  GCL_SI= number.texi sequence.texi charac Line 128  GCL_SI= number.texi sequence.texi charac
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    
# Line 172  tex: Line 172  tex:
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

Legend:
Removed from v.1.10.2.3  
changed lines
  Added in v.1.10.2.4

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26