Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Add empty dummy arguments to title\author (required by some classes, e.g., lipics-v2019.cls.

This commit is contained in:
Achim D. Brucker 2019-01-08 21:19:37 +00:00
parent 072e29c1e1
commit 0907f7d88a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
document-generator/Tools/DOF_mkroot
View File

@ -151,8 +151,8 @@ if [ "$DOC" = true ]; then
TITLE=$(echo "$NAME" | tr _ - | tr -d '\\')
AUTHOR=$(echo "By $USER" | tr _ - | tr -d '\\')
echo "%% This is a placeholder for user-specific configuration and packages." >> "$DIR"/document/preamble.tex
echo "\\title{$TITLE}" >> "$DIR"/document/preamble.tex
echo "\\author{$AUTHOR}" >> "$DIR"/document/preamble.tex
echo "\\title{$TITLE}{}{}{}{}{}{}" >> "$DIR"/document/preamble.tex
echo "\\author{$AUTHOR}{}{}{}{}{}" >> "$DIR"/document/preamble.tex
else
$ISABELLE_TOOL mkroot -n "$NAME"