diff --git a/docs/cmd.bat b/docs/cmd.bat
index aa6a19503..85c533f62 100644
--- a/docs/cmd.bat
+++ b/docs/cmd.bat
@@ -1,2 +1,3 @@
 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
+