--- a/doc-src/Classes/IsaMakefile Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Classes/IsaMakefile Wed Mar 11 20:36:20 2009 +0100
@@ -25,6 +25,8 @@
$(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML
@$(USEDIR) HOL Thy
+ @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+ Thy/document/pdfsetup.sty Thy/document/session.tex
## clean
--- a/doc-src/Codegen/IsaMakefile Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Codegen/IsaMakefile Wed Mar 11 20:36:20 2009 +0100
@@ -25,6 +25,8 @@
$(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
@$(USEDIR) HOL Thy
+ @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+ Thy/document/pdfsetup.sty Thy/document/session.tex
## clean
--- a/doc-src/Functions/IsaMakefile Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Functions/IsaMakefile Wed Mar 11 20:36:20 2009 +0100
@@ -25,6 +25,8 @@
$(THY): Thy/ROOT.ML Thy/Functions.thy
@$(USEDIR) HOL Thy
+ @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+ Thy/document/pdfsetup.sty Thy/document/session.tex
## clean
--- a/doc-src/Functions/Thy/document/session.tex Wed Mar 11 20:11:06 2009 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-\input{Functions.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End:
--- a/doc-src/IsarImplementation/IsaMakefile Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/IsarImplementation/IsaMakefile Wed Mar 11 20:36:20 2009 +0100
@@ -26,6 +26,8 @@
Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy \
../antiquote_setup.ML
@$(USEDIR) Pure Thy
+ @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+ Thy/document/pdfsetup.sty Thy/document/session.tex
## clean
--- a/doc-src/IsarImplementation/Thy/document/session.tex Wed Mar 11 20:11:06 2009 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-\input{Base.tex}
-
-\input{Integration.tex}
-
-\input{Isar.tex}
-
-\input{Local_Theory.tex}
-
-\input{Logic.tex}
-
-\input{ML.tex}
-
-\input{Prelim.tex}
-
-\input{Proof.tex}
-
-\input{Syntax.tex}
-
-\input{Tactic.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End:
--- a/doc-src/IsarOverview/IsaMakefile Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/IsarOverview/IsaMakefile Wed Mar 11 20:36:20 2009 +0100
@@ -17,6 +17,8 @@
$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
Isar/document/root.tex Isar/document/root.bib Isar/*.thy
@$(USEDIR) HOL Isar
+ @rm -f Isar/document/isabelle.sty Isar/document/isabellesym.sty \
+ Isar/document/pdfsetup.sty Isar/document/session.tex
## clean
--- a/doc-src/IsarOverview/Isar/document/session.tex Wed Mar 11 20:11:06 2009 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-\input{Logic.tex}
-
-\input{Induction.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End:
--- a/doc-src/IsarRef/IsaMakefile Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/IsarRef/IsaMakefile Wed Mar 11 20:36:20 2009 +0100
@@ -28,6 +28,8 @@
Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/Symbols.thy \
Thy/ML_Tactic.thy
@$(USEDIR) -s IsarRef HOL Thy
+ @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+ Thy/document/pdfsetup.sty Thy/document/session.tex
HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
@@ -35,6 +37,8 @@
$(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML \
Thy/HOLCF_Specific.thy
@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy
+ @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+ Thy/document/pdfsetup.sty Thy/document/session.tex
ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
@@ -42,6 +46,8 @@
$(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML \
Thy/ZF_Specific.thy
@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy
+ @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+ Thy/document/pdfsetup.sty Thy/document/session.tex
## clean
--- a/doc-src/LaTeXsugar/IsaMakefile Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/LaTeXsugar/IsaMakefile Wed Mar 11 20:36:20 2009 +0100
@@ -25,6 +25,8 @@
Sugar/document/root.tex Sugar/document/root.bib \
$(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy
@$(USEDIR) HOL Sugar
+ @rm -f Sugar/document/isabelle.sty Sugar/document/isabellesym.sty \
+ Sugar/document/pdfsetup.sty Sugar/document/session.tex
## clean
--- a/doc-src/LaTeXsugar/Sugar/document/session.tex Wed Mar 11 20:11:06 2009 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-\input{LaTeXsugar.tex}
-
-\input{OptionalSugar.tex}
-
-\input{Sugar.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End:
--- a/doc-src/Locales/IsaMakefile Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Locales/IsaMakefile Wed Mar 11 20:36:20 2009 +0100
@@ -27,6 +27,8 @@
Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \
Locales/document/root.tex Locales/document/root.bib
@$(USEDIR) $(OUT)/HOL Locales
+ @rm -f Locales/document/isabelle.sty Locales/document/isabellesym.sty \
+ Locales/document/pdfsetup.sty
## clean
--- a/doc-src/System/IsaMakefile Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/System/IsaMakefile Wed Mar 11 20:36:20 2009 +0100
@@ -24,6 +24,8 @@
$(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML \
Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy
@$(USEDIR) -s System Pure Thy
+ @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+ Thy/document/pdfsetup.sty Thy/document/session.tex
## clean