Enabled gen_sty_template in command line build.

2018-10-08 22:35:00 +01:00 · 2018-10-08 22:35:00 +01:00 · 73eeae6817
parent f26e8a10eb
commit 73eeae6817
1 changed files with 1 additions and 2 deletions
--- a/ontologies/scholarly_paper.thy
+++ b/ontologies/scholarly_paper.thy
@ -89,9 +89,8 @@ doc_class article =
           conclusion   ~~  
           bibliography)"

-(* breaks currently LaTeX compilation:
+(* breaks currently LaTeX compilation: *)
 gen_sty_template
-*)

 end