Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF

Avoid --output-delimiter as argument to cut.
2019-01-15 19:32:53 +00:00 · 2019-01-15 19:32:39 +00:00 · 2019-01-11 20:54:46 +00:00 · 2019-01-09 22:38:14 +00:00
2 changed files with 2 additions and 2 deletions
--- a/document-generator/README.md
+++ b/document-generator/README.md
@ -4,7 +4,7 @@ This directory contains the LaTeX setup for Isabelle's
 document generation system. 


-## Tipps
+## Tips and Tricks

 During debugging of LaTeX errors, it can be very helpful to use 
 more than 79 characters for error messages (otherwise, long errors
--- a/document-generator/document-template/build_lib.sh
+++ b/document-generator/document-template/build_lib.sh
@ -92,7 +92,7 @@ TEMPLATE=""
 ONTOLOGY="core"
 CONFIG="isadof.cfg"
 while IFS= read -r line;do
-    fields=($(printf "%s" "$line"|cut -d':' --output-delimiter=' ' -f1-))
+    fields=($(printf "%s" "$line"|cut -d':' -f1- | tr ':' ' '))
    if [[ "${fields[0]}" = "Template" ]]; then 
 	TEMPLATE="${fields[1]}"
    fi
Author	SHA1	Message	Date
Achim D. Brucker	0c2bf6ccc4	Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF HOL-OCL/Isabelle_DOF/master This commit looks good Details	2019-01-15 19:32:53 +00:00
Achim D. Brucker	bdc7f40a5f	Avoid --output-delimiter as argument to cut.	2019-01-15 19:32:39 +00:00
Achim D. Brucker	26a3b37620	Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF	2019-01-11 20:54:46 +00:00
Achim D. Brucker	8aa623c857	Renamed section.	2019-01-09 22:38:14 +00:00