Changeset 80c3d1 in git for doc/Makefile.in
- Timestamp:
- Jul 7, 2000, 2:53:55 PM (24 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 0da97167daf40198e2a6c5db98c863bfa734f584
- Parents:
- 782fcd8c3955b8e9aca01bb92e1f638eca463433
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/Makefile.in
r782fcd8 r80c3d1 2 2 ### 3 3 ### Makefile for Singular documentation 4 ### $Id: Makefile.in,v 1.7 2 2000-07-05 12:04:20obachman Exp $4 ### $Id: Makefile.in,v 1.73 2000-07-07 12:53:55 obachman Exp $ 5 5 ##################################################################### 6 6 SHELL=/bin/sh … … 197 197 198 198 %.${SINGUNAME}.html : %.texi 199 ${PERL} ${TEXI2HTML} $(UNAME_OPT) -init_file t2h_standalone.init -verbose -split none -o $@ $<199 ${PERL} ${TEXI2HTML} $(UNAME_OPT) -init_file t2h_standalone.init -verbose -split none -out_file $@ $< 200 200 201 201 %.html : %.texi 202 ${PERL} ${TEXI2HTML} -init_file t2h_standalone.init -verbose -split none -o $@ $<202 ${PERL} ${TEXI2HTML} -init_file t2h_standalone.init -verbose -split none -out_file $@ $< 203 203 204 204 % : %.txt
Note: See TracChangeset
for help on using the changeset viewer.