Official support for lipics-v2021 (fixes #13).

CHANGELOG.md

@@ -13,7 +13,8 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
  
 - removed explicit use of build script. Requires removing "build" script entry
   from ROOT files.
-
+- lipics support is now official, requires document option "document_comment_latex=true"
+  in the ROOT file.
 
 ## 1.2.0 - 2022-03-26
 

install

@@ -140,7 +140,6 @@ install_and_register(){
     mkdir -p "$DIR"
     cp $GEN_DIR/document-templates/* "$DIR"
     cp $GEN_DIR/DOF/*/*.sty "$DIR"
-    cp $GEN_DIR/DOF/*/*.cls "$DIR"
     
     ISABELLE_SHORT_VERSION=`echo $ISABELLE_VERSION | sed -e 's/:.*$//'`
     sed -i -e "s|%%% CONFIG %%%| \

src/document-templates/root-lipics-v2021.tex

@@ -16,15 +16,17 @@
 %% Warning: Do Not Edit!
 %% =====================
 %% This is the root file for the Isabelle/DOF using the lipics class.
-%% Note that lipics cannot be distributed as part of Isabelle/DOF; you need
-%% to download lipics.cls from 
+%% Note that lipics cannot is *not* distributed as part of Isabelle/DOF; 
+%% you need to download lipics.cls from 
 %% https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
 %% and add it manually to the praemble.tex and the ROOT file.
+%% Moreover, the option "document_comment_latex=true" needs to be set 
+%% in the ROOT file.
 %%
 %% All customization and/or additional packages should be added to the file
 %% preamble.tex.
 
-\documentclass[a4paper,UKenglish,cleveref, autoref,thm-restate]{lipics-v2021-dof}
+\documentclass[a4paper,UKenglish,cleveref, autoref,thm-restate]{lipics-v2021}
 \bibliographystyle{plainurl}% the mandatory bibstyle
 \usepackage{isabelle}
 \usepackage{isabellesym}

src/ontologies/scholarly_paper/DOF-scholarly_paper.sty

@@ -40,7 +40,7 @@
       \RequirePackage{DOF-scholarly_paper-thm}%
     }%
     {%
-      \@ifclassloaded{lipics-v2021-dof}%
+      \@ifclassloaded{lipics-v2021}%
       {%
         \newcommand{\institute}[1]{}%
         \newcommand{\inst}[1]{}%
@@ -48,13 +48,6 @@
         \newcommand{\email}[1]{}%
       }%
       {%
-        \@ifclassloaded{lipics-v2019}%
-        {%
-          \newcommand{\institute}[1]{}%
-          \newcommand{\inst}[1]{}%
-          \newcommand{\orcidID}[1]{}%
-          \newcommand{\email}[1]{}%
-        }%
         {%
           \@ifclassloaded{eptcs}%
           {%

src/scripts/build

@@ -85,7 +85,6 @@ fi
 cp $ROOT root.tex
 cp $ISABELLE_HOME_USER/DOF/latex/*.sty .
 cp $ISABELLE_HOME_USER/DOF/document-template/*.sty .
-cp $ISABELLE_HOME_USER/DOF/document-template/*.cls .
 
 # delete outdated aux files from previous runs
 rm -f *.aux