Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 4137e31f253ba7f0ddf40cf7735ca68d05e2eb34)
+++ doc/user/Makefile	(revision 5d4fa18bc4bff0eb87535bc141fa9ffb76a6b33d)
@@ -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
Index: doc/user/user.tex
===================================================================
--- doc/user/user.tex	(revision 4137e31f253ba7f0ddf40cf7735ca68d05e2eb34)
+++ doc/user/user.tex	(revision 5d4fa18bc4bff0eb87535bc141fa9ffb76a6b33d)
@@ -1,11 +1,11 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -*- Mode: Latex -*- %%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%% 
+%%
 %% Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 %%
 %% The contents of this file are covered under the licence agreement in the
 %% file "LICENCE" distributed with Cforall.
-%% 
-%% user.tex -- 
-%% 
+%%
+%% user.tex --
+%%
 %% Author           : Peter A. Buhr
 %% Created On       : Wed Apr  6 14:53:29 2016
@@ -72,5 +72,5 @@
 
 % Names used in the document.
-\newcommand{\Version}{\input{../../version}}
+\newcommand{\Version}{\input{build/version}}
 \newcommand{\Textbf}[2][red]{{\color{#1}{\textbf{#2}}}}
 \newcommand{\Emph}[2][red]{{\color{#1}\textbf{\emph{#2}}}}
@@ -430,5 +430,5 @@
 #endif
 \end{cfa}
-which conditionally includes the correct header file, if the program is compiled using \Indexc{gcc} or \Indexc{cfa}. 
+which conditionally includes the correct header file, if the program is compiled using \Indexc{gcc} or \Indexc{cfa}.
 
 
@@ -1447,5 +1447,5 @@
 \end{cfa}
 Algol68 infers the following dereferencing ©*p2 = *p1 + x©, because adding the arbitrary integer value in ©x© to the address of ©p1© and storing the resulting address into ©p2© is an unlikely operation.
-Unfortunately, automatic dereferencing does not work in all cases, and so some mechanism is necessary to fix incorrect choices. 
+Unfortunately, automatic dereferencing does not work in all cases, and so some mechanism is necessary to fix incorrect choices.
 
 Rather than inferring dereference, most programming languages pick one implicit dereferencing semantics, and the programmer explicitly indicates the other to resolve address-duality.
@@ -2282,5 +2282,5 @@
 	struct T t;
 } s;
-	
+
 
 
@@ -2354,5 +2354,5 @@
 }
 \end{cfa}
-because 
+because
 
 Currently, there are no \Index{lambda} expressions, \ie unnamed routines because routine names are very important to properly select the correct routine.
@@ -3394,5 +3394,5 @@
 	sout | sepDisable | 1 | 2 | 3 | endl;		// globally turn off implicit separator
 	sout | sepEnable | 1 | 2 | 3 | endl;		// globally turn on implicit separator
-	
+
 	sout | 1 | sepOff | 2 | 3 | endl;			// locally turn on implicit separator
 	sout | sepDisable | 1 | sepOn | 2 | 3 | endl; // globally turn off implicit separator