aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2017-05-11 13:37:49 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2017-05-11 17:56:12 +0300
commitea9063805ce849d2ef81396e53aa1437a520fe5e (patch)
treeaea569f674f7fcd26f7a75ed2962c7c1aa01a0b6 /doc
parentdd1d5472bf28beba971d2b507fab53dec43939f7 (diff)
Complete doc/ infra
Diffstat (limited to 'doc')
-rw-r--r--doc/.gitignore3
-rw-r--r--doc/buildfile30
-rwxr-xr-xdoc/cli.sh35
l---------doc/man-epilogue.11
l---------doc/man-epilogue.xhtml1
l---------doc/man-prologue.11
l---------doc/man-prologue.xhtml1
l---------doc/man.css1
8 files changed, 73 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index 5dddec7..dce64f2 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,3 +1,6 @@
build2-*-manual.xhtml
*.ps
*.pdf
+
+bbot*.xhtml
+bbot*.1
diff --git a/doc/buildfile b/doc/buildfile
new file mode 100644
index 0000000..c11de50
--- /dev/null
+++ b/doc/buildfile
@@ -0,0 +1,30 @@
+# file : doc/buildfile
+# copyright : Copyright (c) 2014-2017 Code Synthesis Ltd
+# license : TBC; see accompanying LICENSE file
+
+cmds = \
+bbot-agent \
+bbot-worker
+
+define css: file
+css{*}: extension = css
+
+define xhtml: doc
+xhtml{*}: extension = xhtml
+
+./: {man1 xhtml}{$cmds} \
+ css{common pre-box man} \
+ file{man-prologue.1 man-epilogue.1 \
+ man-prologue.xhtml man-epilogue.xhtml}
+
+./: doc{build2-build-bot-manual.xhtml \
+ build2-build-bot-manual-a4.pdf \
+ build2-build-bot-manual-a4.ps \
+ build2-build-bot-manual-letter.pdf \
+ build2-build-bot-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 7ab1db6..2a5136d 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -22,6 +22,41 @@ while [ $# -gt 0 ]; do
esac
done
+function compile ()
+{
+ local n=$1; shift
+
+ # Use a bash array to handle empty arguments.
+ #
+ local o=()
+ while [ $# -gt 0 ]; do
+ o=("${o[@]}" "$1")
+ shift
+ done
+
+ cli -I .. -v project="bbot" -v version="$version" -v date="$date" \
+--include-base-last "${o[@]}" --generate-html --html-prologue-file \
+man-prologue.xhtml --html-epilogue-file man-epilogue.xhtml --html-suffix \
+.xhtml ../$n.cli
+
+ cli -I .. -v project="bbot" -v version="$version" -v date="$date" \
+--include-base-last "${o[@]}" --generate-man --man-prologue-file \
+man-prologue.1 --man-epilogue-file man-epilogue.1 --man-suffix .1 \
+../$n.cli
+}
+
+o="--output-prefix bbot-"
+
+# A few special cases.
+#
+#compile "bbot" $o --output-prefix ""
+
+pages="bbot/agent bbot/worker"
+
+for p in $pages; do
+ compile $p $o
+done
+
# Manuals.
#
diff --git a/doc/man-epilogue.1 b/doc/man-epilogue.1
new file mode 120000
index 0000000..878a9ae
--- /dev/null
+++ b/doc/man-epilogue.1
@@ -0,0 +1 @@
+style/man-epilogue.1 \ No newline at end of file
diff --git a/doc/man-epilogue.xhtml b/doc/man-epilogue.xhtml
new file mode 120000
index 0000000..6c1722a
--- /dev/null
+++ b/doc/man-epilogue.xhtml
@@ -0,0 +1 @@
+style/man-epilogue.xhtml \ No newline at end of file
diff --git a/doc/man-prologue.1 b/doc/man-prologue.1
new file mode 120000
index 0000000..08b5b4b
--- /dev/null
+++ b/doc/man-prologue.1
@@ -0,0 +1 @@
+style/man-prologue.1 \ No newline at end of file
diff --git a/doc/man-prologue.xhtml b/doc/man-prologue.xhtml
new file mode 120000
index 0000000..34997e3
--- /dev/null
+++ b/doc/man-prologue.xhtml
@@ -0,0 +1 @@
+style/man-prologue.xhtml \ No newline at end of file
diff --git a/doc/man.css b/doc/man.css
new file mode 120000
index 0000000..e0c4308
--- /dev/null
+++ b/doc/man.css
@@ -0,0 +1 @@
+style/man.css \ No newline at end of file