Update documentation

documentation/build-documentation.sh

@@ -4,6 +4,8 @@
 #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
 
@@ -13,6 +15,5 @@ cp overview-german.png out/overview-german.png
 asciidoctor english.adoc -o out/english.html
 cp overview-english.png out/overview-english.png
 
-#cp *-quickstart*.mp4 out/
-
-cp favicon.* out/
+cp ../desktop/images/favicon.* out/
+cp ../desktop/images/1248-transparent.png out/logo.png

documentation/out/german.html

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