Update documentation

documentation/build-documentation.sh

@@ -4,9 +4,16 @@
 #Its updating is part of the development process, not packaging and running.
 #The correct out/ dir is already part of git.
 
+#This file is not part of the template because it is possible that different programs have more or different numbers of translations.
+
 set -e
 asciidoctor index.adoc -o out/index.html
+
 asciidoctor german.adoc -o out/german.html
-asciidoctor english.adoc -o out/english.html
+cp overview-german.png out/overview-german.png
 
+asciidoctor english.adoc -o out/english.html
+cp overview-english.png out/overview-english.png
 
+cp ../desktop/images/favicon.* out/
+cp ../desktop/images/1248-transparent.png out/logo.png

documentation/out/english.html

@@ -1163,7 +1163,7 @@ The program is split in two parts. A shared "template" between the Laborejo Soft
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2019-10-05 00:09:58 +0200
+Last updated 2019-10-05 00:22:55 +0200
 </div>
 </div>
 </body>

documentation/out/german.html

@@ -1177,7 +1177,7 @@ Ansonsten starten Sie patroneo mit diesem Befehl, Sprachcode ändern, vom Termin
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2019-10-05 00:09:58 +0200
+Last updated 2019-10-05 00:25:06 +0200
 </div>
 </div>
 </body>