simplify

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:

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"