Build system / Manual: use variables for specifying the version number

Rather than using a generated file. This will ease the transition to Meson.

configure.ac

@@ -112,7 +112,6 @@ AC_CONFIG_FILES([Makefile
                  VERSION
                  doc/Makefile
                  doc/manual/Makefile
-                 doc/manual/utils/version.py
                  doc/parallel/Makefile
                  doc/internals/Makefile
                  doc/gsa/Makefile

doc/manual/Makefile.am

@@ -7,12 +7,15 @@ SRC = $(wildcard source/*.rst)
 html-local: build/html/index.html
 
 build/html/index.html: $(SRC) source/conf.py
-	$(SPHINXBUILD) -M html source build
+	$(SPHINXBUILD) -b html -D version=$(PACKAGE_VERSION) -D release=$(PACKAGE_VERSION) -d build/doctrees source build/html
 
 pdf-local: build/latex/dynare-manual.pdf
 
+# NB: we cannot use -M latexpdf because of this bug:
+#  https://bugs.debian.org/933347
 build/latex/dynare-manual.pdf: $(SRC) source/conf.py
-	$(SPHINXBUILD) -M latexpdf source build
+	$(SPHINXBUILD) -b latex -D version=$(PACKAGE_VERSION) -D release=$(PACKAGE_VERSION) -d build/doctrees source build/latex
+	make -C build/latex all-pdf
 
 clean-local:
 	rm -rf build

doc/manual/source/conf.py

@@ -41,10 +41,6 @@ author = u'Dynare Team'
 
 add_function_parentheses = False
 
-# See ../utils/version.py, which is generated by autoconf
-from version import version
-from version import release
-
 language = 'en'
 
 exclude_patterns = []

doc/manual/utils/version.py.in

@@ -1,2 +0,0 @@
-version = u'@PACKAGE_VERSION@'
-release = u'@PACKAGE_VERSION@'