--- a/model/working-copy/Makefile Mon Feb 20 23:14:41 2012 +0000
+++ b/model/working-copy/Makefile Mon Feb 20 23:24:06 2012 +0000
@@ -1,23 +1,25 @@
HGID.OLD=`hg -q id`
HGID=`hg parents --template='{node|short}'`
+OUT.JS=glossary.js
+IN.HTML=glossary.html
make.glossary.js: glossary.html Makefile
- @$(MAKE) documentation
- @$(MAKE) hgid
- @echo "glossary_string= " >> glossary.js
- cat glossary.html | awk '{ print "'\''" $$0 " '\'' + " }' >> glossary.js
- echo "' ' ;" >> glossary.js
+ @$(MAKE) OUT.JS=$(OUT.JS) documentation
+ @$(MAKE) OUT.JS=$(OUT.JS) hgid
+ @echo "glossary_string= " >> $(OUT.JS)
+ cat $(IN.HTML) | awk '{ print "'\''" $$0 " '\'' + " }' >> $(OUT.JS)
+ echo "' ' ;" >> $(OUT.JS)
hgid:
- @echo "glossary_hg='http://dvcs.w3.org/hg/prov/file/$(HGID)/model/working-copy/glossary.html';" >> glossary.js
+ @echo "glossary_hg='http://dvcs.w3.org/hg/prov/file/$(HGID)/model/working-copy/glossary.html';" >> $(OUT.JS)
documentation:
- @echo "//Automatically generated file, don't edit!" > glossary.js
- @echo "//Include this glossary.js file in your specification" >> glossary.js
- @echo "// with <script src=\"glossary.js\" class=\"remove\"></script>" >> glossary.js
- @echo "//Insert glossary definitions with the following " >> glossary.js
- @echo "// <div class=\"glossary-ref\" ref=\"glossary-generation\"></div>" >> glossary.js
+ @echo "//Automatically generated file, don't edit!" > $(OUT.JS)
+ @echo "//Include this $(OUT.JS) file in your specification" >> $(OUT.JS)
+ @echo "// with <script src=\"$(OUT.JS)\" class=\"remove\"></script>" >> $(OUT.JS)
+ @echo "//Insert glossary definitions with the following " >> $(OUT.JS)
+ @echo "// <div class=\"glossary-ref\" ref=\"glossary-generation\"></div>" >> $(OUT.JS)
# uses html2xhtml
@@ -33,6 +35,10 @@
xpath out01 .//div[@class] >> all-divs.html
echo "</html>" >> all-divs.html
+make.all-divs.js: all-divs.html Makefile
+ $(MAKE) OUT.JS=all-divs.js IN.HTML=all-divs.html make.glossary.js
+
+
// xpath towards-wd4.xhtml //div[@class='anexample']
--- a/model/working-copy/glossary.js Mon Feb 20 23:14:41 2012 +0000
+++ b/model/working-copy/glossary.js Mon Feb 20 23:24:06 2012 +0000
@@ -3,7 +3,7 @@
// with <script src="glossary.js" class="remove"></script>
//Insert glossary definitions with the following
// <div class="glossary-ref" ref="glossary-generation"></div>
-glossary_hg='http://dvcs.w3.org/hg/prov/file/7e2a18f9d5d6/model/working-copy/glossary.html';
+glossary_hg='http://dvcs.w3.org/hg/prov/file/12ca0ec89610/model/working-copy/glossary.html';
glossary_string=
' ' +
'<html> ' +