From 78634fa442ca0931663b9307a366aae9e28c03a4 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 11 Feb 2016 12:24:32 +0200 Subject: Setup manual infra --- doc/.gitignore | 3 +++ doc/a4.html2ps | 1 + doc/buildfile | 15 +++++++++++++-- doc/cli.sh | 17 +++++++++++++++++ doc/code-box.css | 1 + doc/doc-epilogue.xhtml | 1 + doc/doc-prologue.xhtml | 1 + doc/doc.css | 1 + doc/doc.html2ps | 1 + doc/letter.html2ps | 1 + doc/manual.cli | 25 +++++++++++++++++++++++++ doc/style | 2 +- doc/toc.css | 1 + 13 files changed, 67 insertions(+), 3 deletions(-) create mode 120000 doc/a4.html2ps create mode 120000 doc/code-box.css create mode 120000 doc/doc-epilogue.xhtml create mode 120000 doc/doc-prologue.xhtml create mode 120000 doc/doc.css create mode 120000 doc/doc.html2ps create mode 120000 doc/letter.html2ps create mode 100644 doc/manual.cli create mode 120000 doc/toc.css diff --git a/doc/.gitignore b/doc/.gitignore index c3a9ae5..dabc15d 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,2 +1,5 @@ b*.xhtml b*.1 +build2-build-system-manual*.ps +build2-build-system-manual*.pdf +build2-build-system-manual.xhtml diff --git a/doc/a4.html2ps b/doc/a4.html2ps new file mode 120000 index 0000000..4b31c06 --- /dev/null +++ b/doc/a4.html2ps @@ -0,0 +1 @@ +style/a4.html2ps \ No newline at end of file diff --git a/doc/buildfile b/doc/buildfile index 034e3a9..ee4c35e 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -11,5 +11,16 @@ xhtml{*}: extension = xhtml ./: {man1 xhtml}{b} \ css{common pre-box man} \ file{man-prologue.1 man-epilogue.1 \ - man-prologue.xhtml man-epilogue.xhtml \ - cli.sh} + man-prologue.xhtml man-epilogue.xhtml} + +./: doc{build2-build-system-manual.xhtml \ + build2-build-system-manual-a4.pdf \ + build2-build-system-manual-a4.ps \ + build2-build-system-manual-letter.pdf \ + build2-build-system-manual-letter.ps} \ + css{code-box common doc pre-box toc} \ + file{a4.html2ps letter.html2ps doc.html2ps} \ + file{doc-prologue.xhtml doc-epilogue.xhtml \ + manual.cli} + +./: file{cli.sh} diff --git a/doc/cli.sh b/doc/cli.sh index 4307e63..293781d 100755 --- a/doc/cli.sh +++ b/doc/cli.sh @@ -13,6 +13,9 @@ while [ $# -gt 0 ]; do case $1 in --clean) rm -f b*.xhtml b*.1 + rm -f build2-build-system-manual*.ps \ + build2-build-system-manual*.pdf \ + build2-build-system-manual.xhtml exit 0 ;; *) @@ -55,3 +58,17 @@ pages="" for p in $pages; do compile $p $o done + +# Manual. +# +cli -I .. -v version="$version" -v date="$date" \ +--generate-html --html-suffix .xhtml \ +--html-prologue-file doc-prologue.xhtml \ +--html-epilogue-file doc-epilogue.xhtml \ +--output-prefix build2-build-system- manual.cli + +html2ps -f doc.html2ps:a4.html2ps -o build2-build-system-manual-a4.ps build2-build-system-manual.xhtml +ps2pdf14 -sPAPERSIZE=a4 -dOptimize=true -dEmbedAllFonts=true build2-build-system-manual-a4.ps build2-build-system-manual-a4.pdf + +html2ps -f doc.html2ps:letter.html2ps -o build2-build-system-manual-letter.ps build2-build-system-manual.xhtml +ps2pdf14 -sPAPERSIZE=letter -dOptimize=true -dEmbedAllFonts=true build2-build-system-manual-letter.ps build2-build-system-manual-letter.pdf diff --git a/doc/code-box.css b/doc/code-box.css new file mode 120000 index 0000000..e442993 --- /dev/null +++ b/doc/code-box.css @@ -0,0 +1 @@ +style/code-box.css \ No newline at end of file diff --git a/doc/doc-epilogue.xhtml b/doc/doc-epilogue.xhtml new file mode 120000 index 0000000..5111ca2 --- /dev/null +++ b/doc/doc-epilogue.xhtml @@ -0,0 +1 @@ +style/doc-epilogue.xhtml \ No newline at end of file diff --git a/doc/doc-prologue.xhtml b/doc/doc-prologue.xhtml new file mode 120000 index 0000000..e1fd108 --- /dev/null +++ b/doc/doc-prologue.xhtml @@ -0,0 +1 @@ +style/doc-prologue.xhtml \ No newline at end of file diff --git a/doc/doc.css b/doc/doc.css new file mode 120000 index 0000000..6cb3fd5 --- /dev/null +++ b/doc/doc.css @@ -0,0 +1 @@ +style/doc.css \ No newline at end of file diff --git a/doc/doc.html2ps b/doc/doc.html2ps new file mode 120000 index 0000000..dc19855 --- /dev/null +++ b/doc/doc.html2ps @@ -0,0 +1 @@ +style/doc.html2ps \ No newline at end of file diff --git a/doc/letter.html2ps b/doc/letter.html2ps new file mode 120000 index 0000000..607ca58 --- /dev/null +++ b/doc/letter.html2ps @@ -0,0 +1 @@ +style/letter.html2ps \ No newline at end of file diff --git a/doc/manual.cli b/doc/manual.cli new file mode 100644 index 0000000..de16aae --- /dev/null +++ b/doc/manual.cli @@ -0,0 +1,25 @@ +// file : doc/manual.cli +// copyright : Copyright (c) 2014-2016 Code Synthesis Ltd +// license : MIT; see accompanying LICENSE file + +"\name=build2-build-system-manual" +"\subject=build system" +"\title=Build System" + +// NOTES +// +// - Maximum
 line is 70 characters.
+//
+
+"
+\h0#preface|Preface|
+
+This is the preface.
+"
+
+/*
+"
+\h Installation
+"
+source "../INSTALL.cli";
+*/
diff --git a/doc/style b/doc/style
index 88bef7f..e8d8ccf 160000
--- a/doc/style
+++ b/doc/style
@@ -1 +1 @@
-Subproject commit 88bef7fa19d595b64944edc38696bb1ceadba2fb
+Subproject commit e8d8ccfbd637d68f6feceace9dddc5bd5c13d832
diff --git a/doc/toc.css b/doc/toc.css
new file mode 120000
index 0000000..477b331
--- /dev/null
+++ b/doc/toc.css
@@ -0,0 +1 @@
+style/toc.css
\ No newline at end of file
-- 
cgit v1.1