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 +