Commit a748ae463503d679ab88a80401d769c402a66b7a
2018-09-05T11:12:01
* docs/DOCGUIDE: Minor.
diff --git a/docs/DOCGUIDE b/docs/DOCGUIDE
index e8139b8..81a354b 100644
--- a/docs/DOCGUIDE
+++ b/docs/DOCGUIDE
@@ -257,4 +257,4 @@ this file you indicate that you have read the license and understand
and accept it fully.
---- end of DOCUMENTATION ---
+--- end of DOCGUIDE ---