From 1765432e9aace01acba65a8794940056c121bb87 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 9 Jan 2019 10:05:12 +0000
Subject: [PATCH] Basic support for lipics-v2019 as basis for scholarly papers.

---
 .../document-template/root-lipics-v2019.tex   | 34 +++++++++++++++++--
 .../latex/DOF-scholarly_paper.sty             |  7 +++-
 2 files changed, 38 insertions(+), 3 deletions(-)

diff --git a/document-generator/document-template/root-lipics-v2019.tex b/document-generator/document-template/root-lipics-v2019.tex
index 9b95f41..3983ae3 100644
--- a/document-generator/document-template/root-lipics-v2019.tex
+++ b/document-generator/document-template/root-lipics-v2019.tex
@@ -21,8 +21,8 @@
 \bibliographystyle{plainurl}% the mandatory bibstyle
 \usepackage{isabelle}
 \usepackage{isabellesym}
-\usepackage{amsmath}
-\usepackage{amssymb}
+% \usepackage{amsmath}
+% \usepackage{amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
 \IfFileExists{DOF-core.sty}{}{%
   \PackageError{DOF-core}{Isabelle/DOF not installed. 
@@ -34,7 +34,37 @@
          "cd Isabelle_DOF/document-generator && ./install"}{%
     For further help, see https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF}
 }
+
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% provide an alternative definition of 
+% begin: scholarly_paper.author
+\RequirePackage{keycommand}
+\makeatletter
+\newcommand{\DOFlipicsAuthor}[4]{\expandafter\author{#1}{#2}{#3}{#4}}
+\expandafter\newkeycommand\csname isaDof.text.scholarly_paper.author\endcsname%
+[label=,type=%
+,scholarly_paper.author.email=%
+,scholarly_paper.author.affiliation=%
+,scholarly_paper.author.orcid=%
+][1]{%
+  \protected@write\@auxout{}{\string\protect\string\DOFlipicsAuthor{#1}%
+                                           {\commandkey{scholarly_paper.author.affiliation}}
+         {\commandkey{scholarly_paper.author.email}}
+        {\commandkey{scholarly_paper.author.orcid}}
+        {}
+        }
+}
+
+\makeatother
+% end: scholarly_paper.author
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \input{ontologies}
+\renewcommand{\DOFauthor}{}
+\renewcommand{\DOFinstitute}{}
+\expandafter\newcommand\csname 2authand\endcsname{}
+
 \IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
 \begin{document}
 
diff --git a/document-generator/latex/DOF-scholarly_paper.sty b/document-generator/latex/DOF-scholarly_paper.sty
index 2f70bba..40b92b8 100644
--- a/document-generator/latex/DOF-scholarly_paper.sty
+++ b/document-generator/latex/DOF-scholarly_paper.sty
@@ -78,7 +78,12 @@
 \def\dof@author{}%
 \def\dof@affiliation{}%
 
+\newcommand{\DOFauthor}{\author{\dof@author}}
+\newcommand{\DOFinstitute}{\institute{\dof@affiliation}}
+
 \AtBeginDocument{%
+  \DOFauthor
+  \DOFinstitute
 }
 
 \def\leftadd#1#2{\expandafter\leftaddaux\expandafter{#1}{#2}{#1}}
@@ -101,7 +106,7 @@
   }
 }
 
-\expandafter\newkeycommand\csname isaDof.text.scholarly_paper.author\endcsname%
+\expandafter\providekeycommand\csname isaDof.text.scholarly_paper.author\endcsname%
 [label=,type=%
 ,scholarly_paper.author.email=%
 ,scholarly_paper.author.affiliation=%