From 243ace501a69f1fc99bbb975bf3020c62583a9cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Tuong?=
<tuong@users.noreply.github.com>
Date: Wed, 18 Dec 2019 19:55:22 +0000
Subject: [PATCH] simplify
---
C11-FrontEnd/document/root.tex | 52 ++++++++++++++++------------------
ROOT | 3 +-
2 files changed, 25 insertions(+), 30 deletions(-)
diff --git a/C11-FrontEnd/document/root.tex b/C11-FrontEnd/document/root.tex
index cad2d52a1e8..94801c9e0e8 100644
--- a/C11-FrontEnd/document/root.tex
+++ b/C11-FrontEnd/document/root.tex
@@ -33,11 +33,10 @@
\usepackage{isabelle}
\usepackage{isabellesym}
\usepackage{ifthen}
-\IfFileExists{railsetup.sty}{\usepackage{railsetup}}{}
+\usepackage{railsetup}
-\newcommand\inputif[1]{\IfFileExists{./#1}{\input{#1}}{}}
-\inputif{ontologies}
-\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
+\input{ontologies}
+\input{preamble.tex}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage[numbers, sort&compress, sectionbib]{natbib}
@@ -111,30 +110,27 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\chapter{A Conceptual Description of the Isabelle/C Package}
-\inputif{paper.tex}
-
-\inputif{1/document/C_Ast.tex}
-\inputif{1/document/C_Lexer_Language.tex}
-\inputif{1/document/C_Environment.tex}
-\inputif{1/document/C_Parser_Language.tex}
-\inputif{1/document/C_Lexer_Annotation.tex}
-\inputif{1/document/C_Parser_Annotation.tex}
-\inputif{1/document/C_Eval.tex}
-\inputif{1/document/C_Command.tex}
-\inputif{1/document/C_Document.tex}
-\inputif{1/document/C_Main.tex}
-
-% \inputif{C0.tex} % not included by default
-\inputif{C1.tex}
-\inputif{C2.tex}
-\inputif{C_paper.tex}
-
-\inputif{C_Appendices.tex}
-
-% optional bibliography
-\IfFileExists{root.bib}{%
- \bibliography{root}
-}{}
+\input{paper.tex}
+
+\input{C_Ast.tex}
+\input{C_Lexer_Language.tex}
+\input{C_Environment.tex}
+\input{C_Parser_Language.tex}
+\input{C_Lexer_Annotation.tex}
+\input{C_Parser_Annotation.tex}
+\input{C_Eval.tex}
+\input{C_Command.tex}
+\input{C_Document.tex}
+\input{C_Main.tex}
+
+% \input{C0.tex} % not included by default
+\input{C1.tex}
+\input{C2.tex}
+\input{C_paper.tex}
+
+\input{C_Appendices.tex}
+
+\bibliography{root}
\end{document}
%%% Local Variables:
diff --git a/ROOT b/ROOT
index 98e500d41b9..2190f43f40c 100644
--- a/ROOT
+++ b/ROOT
@@ -37,7 +37,7 @@
chapter AFP
session Isabelle_C (AFP) = HOL +
- options [document = pdf, document_output = "C11-FrontEnd/generated", timeout=600]
+ options [timeout = 600]
sessions
"HOL-ex"
theories [document = false]
@@ -49,7 +49,6 @@ session Isabelle_C (AFP) = HOL +
"C11-FrontEnd/examples/C_paper"
theories (* document *)
"C11-FrontEnd/C_Appendices"
- theories (* document, misc. *)
"./README"
document_files (in "C11-FrontEnd/document/")
"DOF-COL.sty"
--
GitLab