aboutsummaryrefslogtreecommitdiffstats
path: root/moon-abe/pbc-0.5.14/doc
diff options
context:
space:
mode:
Diffstat (limited to 'moon-abe/pbc-0.5.14/doc')
-rw-r--r--moon-abe/pbc-0.5.14/doc/Makefile49
1 files changed, 49 insertions, 0 deletions
diff --git a/moon-abe/pbc-0.5.14/doc/Makefile b/moon-abe/pbc-0.5.14/doc/Makefile
new file mode 100644
index 00000000..0fdaa41c
--- /dev/null
+++ b/moon-abe/pbc-0.5.14/doc/Makefile
@@ -0,0 +1,49 @@
+.PHONY: target clean sync gendoc
+
+target: $(TARGETS)
+
+TARGETS:=manual.html manual.txt manual.pdf manual/index.html chunked/index.html
+
+TXTFILES:=preface.txt quickstart.txt basics.txt sigex.txt \
+ pairingfns.txt elementfns.txt paramfns.txt miscfns.txt \
+ bundle.txt internal.txt security.txt contributors.txt
+
+GENFILES:=gen/*.txt
+
+gendoc $(GENFILES) : ../*/*.h extract
+ -rm $(GENFILES)
+ -mkdir gen
+ cat `grep -l '\/\*@manual' ../*/*.h` | ./extract
+ for a in gen/*.*.txt; do b=$${a%.*.txt}.txt; cat $$a $$b > tmp; mv tmp $$b ; rm $$a; done
+
+manual.xml: $(TXTFILES) $(GENFILES)
+ ( for FILE in $(TXTFILES) ; do cat $$FILE ; echo ; done ) | asciidoc -f macros.ad -d book -b docbook - > $@
+
+chunked/index.html : manual.xml custom.xsl
+ xmlto -o chunked -m custom.xsl html manual.xml
+
+index.html : index.txt
+ asciidoc -s $^
+
+manual/index.html: manual.xml custom-pretty.xsl pretty.css index.html
+ xmlto -m custom-pretty.xsl -o manual html manual.xml
+ sed -i 's/xmlns:fo[^ ]*//g' manual/*.html
+ -ls manual/*.html | xargs -n 1 tidy -utf8 -m -i -q
+ ./makeover
+ cp find_selflink.js pretty.css manual/
+
+manual.html : manual.xml custom-nochunks.xsl
+ xmlto -m custom-nochunks.xsl html-nochunks manual.xml
+ -tidy -utf8 -imq $@
+
+manual.txt : manual.html
+ html2text -nobs -style pretty manual.html > manual.txt
+
+manual.pdf: manual.xml
+ docbook2pdf manual.xml
+
+clean:
+ -rm -rf manual.xml manual.html manual chunked index.html
+
+sync: $(TARGETS)
+ rsync -r manual manual.html manual.txt chunked manual.pdf blynn@xenon.stanford.edu:pbc/