Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 484ee5317b3b11ba2ce1258ef73a93ff8a6715c7)
+++ doc/user/Makefile	(revision 031a88a9185c8893c2e6d735d2cd99e596118b4e)
@@ -51,4 +51,7 @@
 # File Dependencies #
 
+build/version: ../../configure | ${Build}
+	../../configure --version | grep "cfa-cc configure" | grep -oEe "([0-9]+\.)+[0-9]+" > $@
+
 ${DOCUMENT} : ${BASE}.ps
 	ps2pdf $<
@@ -58,5 +61,5 @@
 
 ${BASE}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
-		${Macros}/common.tex ${Macros}/lstlang.sty ${Macros}/indexstyle ../bibliography/pl.bib | ${Build}
+		${Macros}/common.tex ${Macros}/lstlang.sty ${Macros}/indexstyle ../bibliography/pl.bib build/version | ${Build}
 	# Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.
 	if [ ! -r ${basename $@}.ind ] ; then touch ${Build}/${basename $@}.ind ; fi