From 8e640e4683678c2fea875ce8d5b073e31483d171 Mon Sep 17 00:00:00 2001 From: Dmitry Date: Thu, 5 Oct 2017 22:04:56 -0700 Subject: [PATCH] Build docs in unix --- docs/cmd.sh | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 docs/cmd.sh diff --git a/docs/cmd.sh b/docs/cmd.sh new file mode 100755 index 000000000..c803b4541 --- /dev/null +++ b/docs/cmd.sh @@ -0,0 +1,3 @@ +pandoc -s doc.rst -o doc_simple.html +pandoc -s --toc -H header.html -B top.html -A footer.html doc.rst -o doc.html +