Small tweaks and added Dutch version

2023-08-30 18:15:01 +02:00
parent 7772857162
commit 84fea909cd
9 changed files with 315 additions and 18 deletions
--- a/cleanup.sh
+++ b/cleanup.sh
@@ -5,5 +5,6 @@ find . -name "*.fls" | xargs rm -rf
 find . -name "*.log" | xargs rm -rf
 find . -name "*.markdown.in" | xargs rm -rf
 find . -name "*.out" | xargs rm -rf
-rm -rf _markdown_main
+rm -rf svg-inkscape
+rm -rf _markdown_*
 rm -rf latex