diff --git a/doc/user_guide.txt b/doc/user_guide.txt
index 2743efaa97ab5e49e86c216aea77b01341a7e208..1c1cc3a00f4050695bf209c489a2384c3c009772 100644 (file)
--- a/doc/user_guide.txt
+++ b/doc/user_guide.txt
+==========
User Guide
==========
-:Version: $Revision: 1.2 $
+:Version: $Revision: 1.3 $
.. contents::