Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 484ee5317b3b11ba2ce1258ef73a93ff8a6715c7)
+++ doc/user/Makefile	(revision 3bbd012db7d31fbae91c1a4295090ad11eb8ec96)
@@ -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