Index: doc/user/user.tex
===================================================================
--- doc/user/user.tex	(revision a98b2cca9704d45e2cb19838871a79c1c794fcd6)
+++ doc/user/user.tex	(revision 7fb1db7d6e062bd54033d2f7f408ca0d76b0c8bd)
@@ -11,6 +11,6 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Sun Feb 19 09:29:10 2017
-%% Update Count     : 1376
+%% Last Modified On : Mon Feb 20 12:35:48 2017
+%% Update Count     : 1377
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -63,5 +63,5 @@
 
 % Names used in the document.
-\newcommand{\Version}{\input{version}}
+\newcommand{\Version}{\input{../../version}}
 \newcommand{\CS}{C\raisebox{-0.9ex}{\large$^\sharp$}\xspace}