From 3f831aff41e0ee62cbbd72919515c500c64a05df Mon Sep 17 00:00:00 2001
From: davidcok <davidcok@github.com>
Date: Mon, 29 Jul 2019 13:47:45 +0200
Subject: [PATCH] Fixing cover page
---
doc/userman/main.tex | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/doc/userman/main.tex b/doc/userman/main.tex
index 6810e990..336cb0c0 100644
--- a/doc/userman/main.tex
+++ b/doc/userman/main.tex
@@ -15,7 +15,16 @@
\begin{document}
-\coverpage{\fclang User Manual \\ version \version{} \\for \fclang version \fclangversion \\and \framac version \fcversion}
+
+\coverpage{ \vbox{
+\centerline{\fclang User Manual}
+\vspace{.3em}
+\centerline{\normalsize{version \version}}
+\vspace{.3em}
+\centerline{\normalsize{for \fclang version \fclangversion}}
+\vspace{.3em}
+\centerline{\normalsize{and \framac version \fcversion}}
+}}
\begin{titlepage}
\begin{flushleft}
--
GitLab