Update documentation

CHANGELOG

@@ -1,6 +1,7 @@
 2019-07-15 Version 1.3
-Remove strict dependency on Non Session Manager, while still highly recommended. Instead present a session directory chooser on startup, similar to --save.
+Remove strict Non Session Manager enforcement. Instead present a session directory chooser on startup, similar to --save.
 Remove videos from git repository for easier download and distribution. Videos are now only hosted on laborejo.org, but could be downloaded by users.
+Compilation without executable stack, a security risk.
 
 2019-04-15 Version 1.2
 Optional mode without NSM: Commandline parameter --save or -s. See --help

documentation/out/english.html

@@ -1126,7 +1126,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-05-04 19:23:55 +0200
+Last updated 2019-05-05 14:53:49 +0200
 </div>
 </div>
 </body>

documentation/out/german.html

@@ -1207,7 +1207,7 @@ Das Programm ist in zwei Teile aufgeteilt: Ein gemeinsames "Template" (für alle
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2019-05-04 19:23:55 +0200
+Last updated 2019-05-05 14:53:49 +0200
 </div>
 </div>
 </body>