File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1111# Possible other options to add to the curl command below:
1212# -F ids=on
1313# -F omitdchtml=on
14+ # e.g., like this: make opts="-F ids=on -F omitdchtml=on"
1415
16+ cdate =
17+ status =
1518opts =
1619
17- cdate = $(shell date +% Y% m% d)
18-
1920% .html : % .src.html
2021 @echo " Calling post-processor to generate $@ ..."
2122 @curl -K ~ /.curl-w3.org -s -S -F output=html -F file=@$< -F group=CSS \
@@ -30,10 +31,13 @@ cdate = $(shell date +%Y%m%d)
3031# For Dispositions of Comments in css3-background:
3132% .html : % .txt; awk -f issues-txt-to-html.awk $< >$@
3233
34+ # Rule to create PNG from FIG
35+ % .png : % .fig; fig2dev -L png -m 0.8 -S 4 $< $@
36+
3337# Rule to create EPS from FIG
3438% .eps : % .fig; fig2dev -m 0.8 -L eps -F -c $< $@
3539
36- # Rule to create raster image versions of EPS images
40+ # Rule to create PNG from EPS
3741% .png : % .eps; convert -density 96x96 $< $@
3842
3943
@@ -53,7 +57,8 @@ commit: update all
5357 hg push
5458
5559update :
56- hg pull -u
60+ hg pull
61+ hg update
5762
5863clean :
5964 rm -f Overview.html Overview.err
You can’t perform that action at this time.
0 commit comments