[#745] Doc rebuild instructions cleaned up

diff --git a/doc/devel/doc.dox b/doc/devel/doc.dox
index 8bfca440dccc7f3bdcb48a8a4039b71acdfb873b..38573982eb72c55a39c40e4f0c13c85f2b5a9197 100644 (file)
--- a/doc/devel/doc.dox
+++ b/doc/devel/doc.dox
@@ -36,7 +36,8 @@ parameters added, you can regenerate the grammars and the appendix with the
 following procedure:
 
 @code
-$ autoreconf -i && ./configure --enable-generate-docs --enable-generate-parser
+$ autoreconf -i
+$ ./configure --enable-generate-docs --enable-generate-parser
 $ cd doc
 $ make grammar
 $ make -C sphinx html