Changeset 0a2ba89 in git for doc/Makefile.in
- Timestamp:
- Jul 22, 1999, 3:32:05 PM (25 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 84dee1de2f8e7a43a835537686ddb81d68d85df9
- Parents:
- 8e436afc5936b28cf0f44c4550b547aeff6c87f1
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/Makefile.in
r8e436a r0a2ba89 34 34 TEXI2HTML = @TEXI2HTML@ 35 35 DVIPS = dvips 36 VERBOSE = 1 # override this with make VERBOSE=2 36 37 37 38 # d2t stuff … … 42 43 CHKSUM_DB = ${D2T_SUBDIR}/chksum.db 43 44 DOC2TEX = ${PERL5} ./doc2tex.pl -subdir ${D2T_SUBDIR} \ 44 -Singular ${SINGULAR} - make45 -Singular ${SINGULAR} -verbose ${VERBOSE} -make ${MAKE} 45 46 PL2DOC = ${PERL5} ./pl2doc.pl -db ${CHKSUM_DB} 46 47 … … 49 50 HTML_SUBDIR = html 50 51 TEXI2HTML_INIT = t2h_singular.init 52 ifeq ($(VERBOSE),0) 53 T2H_VERBOSE = -no_verbose 54 else 55 T2H_VERBOSE = -verbose 56 endif 51 57 TEXI2HTML_OPTS = -init_file ${TEXI2HTML_INIT} @TEXI2HTML_OPTS@ \ 52 -short_extn -l2h_tmp ${TMP_DIR} -subdir ${HTML_SUBDIR} 58 -short_extn -l2h_tmp ${TMP_DIR} -subdir ${HTML_SUBDIR} \ 59 ${T2H_VERBOSE} 53 60 HTML_MANUAL_PREFIX = sing 54 61 HTML_TUTOR_PREFIX = tut … … 86 93 87 94 # default target 88 all: info dvi html 95 all: info dvi html singular.idx 89 96 90 97 # info stuff … … 148 155 .PRECIOUS: %.doc %_noFun.doc ${D2T_SUBDIR}/%_lib.pl 149 156 150 singular.idx: singular.hlp ${D2T_SUBDIR}/idx.db ${HTML_SUBDIR}/${HTML_MANUAL_PREFIX}_cp.idx 151 doc2idx.pl singular.hlp ${D2T_SUBDIR}/idx.db ${HTML_SUBDIR}/${HTML_MANUAL_PREFIX}_cp.idx 157 # index file for help 158 singular.idx: singular.hlp ${HTML_SUBDIR}/${HTML_MANUAL_PREFIX}_cp.idx ${CHKSUM_DB} doc2idx.pl 159 ${PERL5} doc2idx.pl singular.hlp ${HTML_SUBDIR}/${HTML_MANUAL_PREFIX}_cp.idx ${CHKSUM_DB} > singular.idx 152 160 153 161 # targets which produce stand-alone documents … … 169 177 -top_file ${HTML_TUTOR_TOP} tutor.tex 170 178 179 ${HTML_SUBDIR}/${HTML_MANUAL_PREFIX}_cp.idx: ${HTML_SUBDIR}/${HTML_MANUAL_TOP} 180 171 181 # pattern rules for images 172 182 images/%.gif : images/%.gif.uu … … 190 200 # misc targets 191 201 # 192 install: singular.hlp html/index.htm 202 install: singular.hlp html/index.htm singular.idx 193 203 ${MKINSTALLDIRS} ${infodir} 194 204 ${INSTALL_DATA} singular.hlp ${infodir} … … 199 209 - rmdir ${infodir} 200 210 201 clean: 211 clean: mostlyclean 212 /bin/rm -rf singular.tex manual.tex ${HTML_DIR} ${D2T_SUBDIR} 213 214 mostlyclean: 202 215 /bin/rm -f .singular_hist doe.tmp dump.ascii example.mp example.txt 203 216 /bin/rm -f save_i test.ascii test.mp 204 217 /bin/rm -f Z* *.tst *.pag *.dir *.lst *.log *.aux *.cp *.cps 205 218 /bin/rm -f *.fn *.fns *.ky *.kys *.log *.pg *.pgs *.toc *.tp 206 /bin/rm -f *.tps *.vr *.vrs 207 /bin/rm -f singular.hlp *.dvi *.ps ${DOC2TEX_FILES} 208 /bin/rm -rf singular.tex manual.tex ${HTML_DIR} ${D2T_SUBDIR} 209 210 mostlyclean: clean 211 212 distclean: mostlyclean 219 /bin/rm -f *.tps *.vr *.vrs *.dvi *.ps 220 /bin/rm -f singular.hlp manual.hlp ${DOC2TEX_FILES} singular.idx 221 /bin/rm -f ${HTML_SUBDIR}/${HTML_MANUAL_TOP} ${HTML_SUBDIR}/${HTML_TUTOR_TOP} 222 223 distclean: clean 213 224 /bin/rm -f Makefile 214 225
Note: See TracChangeset
for help on using the changeset viewer.