diff --git a/docs/cmd.bat b/docs/cmd.bat index 41cbcae21..aa6a19503 100644 --- a/docs/cmd.bat +++ b/docs/cmd.bat @@ -1,2 +1,2 @@ REM 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 \ No newline at end of file +pandoc -s --toc -H header.html -B top.html -A footer.html doc.rst -o doc.html