File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11# Makefile to generate the CSS2 document based on its "source files"
22# Arnaud Le Hors - lehors@w3.org
3- # $Id: Makefile,v 1.57 1997-12-12 17:12:13 bbos Exp $
3+ # $Id: Makefile,v 1.58 1997-12-12 18:44:16 ijacobs Exp $
44
55# what needs to be set for every new release:
66THIS_VERSION = http://www.w3.org/Style/Group/9712/WD-css2-971211
@@ -112,6 +112,7 @@ DESCRIPTORDB= build/descriptor.db
112112VALUEDB = build/value.db
113113# dbase for heading dbase
114114HEADINGDB = build/headings.db
115+ MINIHEADINGDB = build/miniheadings.db
115116
116117SED = sed
117118PERL = perl5
@@ -293,7 +294,7 @@ build/contents.srb: $(MAINSRCS) $(INDEXSRCS) $(APPSRCS) $(REFSRCS)
293294 descinst $(DESCRIPTORDB ) value-inst $(VALUEDB )
294295
295296build/minicontents.srb : $(MAINSRCS ) $(INDEXSRCS ) $(APPSRCS ) $(REFSRCS )
296- $(MKTOC ) -ml 1 $@ $(HEADINGDB ) \
297+ $(MKTOC ) -ml 1 $@ $(MINIHEADINGDB ) \
297298 -ol $(MAINSRCS ) \
298299 -ol -roman $(APPSRCS ) -ol -none $(REFSRCS ) $(INDEXSRCS )
299300 $(ADDLINKS ) -r $< $@ $@ propinst $(PROPERTYDB ) \
You can’t perform that action at this time.
0 commit comments