1.1 --- a/doc-src/Classes/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
     1.2 +++ b/doc-src/Classes/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
     1.3 @@ -25,6 +25,8 @@
     1.4  
     1.5  $(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML
     1.6  	@$(USEDIR) HOL Thy
     1.7 +	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
     1.8 +	 Thy/document/pdfsetup.sty Thy/document/session.tex
     1.9  
    1.10  
    1.11  ## clean

     2.1 --- a/doc-src/Codegen/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
     2.2 +++ b/doc-src/Codegen/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
     2.3 @@ -25,6 +25,8 @@
     2.4  
     2.5  $(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
     2.6  	@$(USEDIR) HOL Thy
     2.7 +	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
     2.8 +	 Thy/document/pdfsetup.sty Thy/document/session.tex
     2.9  
    2.10  
    2.11  ## clean

     3.1 --- a/doc-src/Functions/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
     3.2 +++ b/doc-src/Functions/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
     3.3 @@ -25,6 +25,8 @@
     3.4  
     3.5  $(THY): Thy/ROOT.ML Thy/Functions.thy
     3.6  	@$(USEDIR) HOL Thy
     3.7 +	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
     3.8 +	 Thy/document/pdfsetup.sty Thy/document/session.tex
     3.9  
    3.10  
    3.11  ## clean

     4.1 --- a/doc-src/Functions/Thy/document/session.tex	Wed Mar 11 20:11:06 2009 +0100
     4.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.3 @@ -1,6 +0,0 @@
     4.4 -\input{Functions.tex}
     4.5 -
     4.6 -%%% Local Variables:
     4.7 -%%% mode: latex
     4.8 -%%% TeX-master: "root"
     4.9 -%%% End:

     5.1 --- a/doc-src/IsarImplementation/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
     5.2 +++ b/doc-src/IsarImplementation/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
     5.3 @@ -26,6 +26,8 @@
     5.4    Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy		\
     5.5    ../antiquote_setup.ML
     5.6  	@$(USEDIR) Pure Thy
     5.7 +	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
     5.8 +	 Thy/document/pdfsetup.sty Thy/document/session.tex
     5.9  
    5.10  
    5.11  ## clean

     6.1 --- a/doc-src/IsarImplementation/Thy/document/session.tex	Wed Mar 11 20:11:06 2009 +0100
     6.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     6.3 @@ -1,24 +0,0 @@
     6.4 -\input{Base.tex}
     6.5 -
     6.6 -\input{Integration.tex}
     6.7 -
     6.8 -\input{Isar.tex}
     6.9 -
    6.10 -\input{Local_Theory.tex}
    6.11 -
    6.12 -\input{Logic.tex}
    6.13 -
    6.14 -\input{ML.tex}
    6.15 -
    6.16 -\input{Prelim.tex}
    6.17 -
    6.18 -\input{Proof.tex}
    6.19 -
    6.20 -\input{Syntax.tex}
    6.21 -
    6.22 -\input{Tactic.tex}
    6.23 -
    6.24 -%%% Local Variables:
    6.25 -%%% mode: latex
    6.26 -%%% TeX-master: "root"
    6.27 -%%% End:

     7.1 --- a/doc-src/IsarOverview/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
     7.2 +++ b/doc-src/IsarOverview/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
     7.3 @@ -17,6 +17,8 @@
     7.4  $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
     7.5    Isar/document/root.tex Isar/document/root.bib Isar/*.thy
     7.6  	@$(USEDIR) HOL Isar
     7.7 +	@rm -f Isar/document/isabelle.sty Isar/document/isabellesym.sty \
     7.8 +	 Isar/document/pdfsetup.sty Isar/document/session.tex
     7.9  
    7.10  
    7.11  ## clean

     8.1 --- a/doc-src/IsarOverview/Isar/document/session.tex	Wed Mar 11 20:11:06 2009 +0100
     8.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     8.3 @@ -1,8 +0,0 @@
     8.4 -\input{Logic.tex}
     8.5 -
     8.6 -\input{Induction.tex}
     8.7 -
     8.8 -%%% Local Variables:
     8.9 -%%% mode: latex
    8.10 -%%% TeX-master: "root"
    8.11 -%%% End:

     9.1 --- a/doc-src/IsarRef/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
     9.2 +++ b/doc-src/IsarRef/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
     9.3 @@ -28,6 +28,8 @@
     9.4    Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/Symbols.thy		\
     9.5    Thy/ML_Tactic.thy
     9.6  	@$(USEDIR) -s IsarRef HOL Thy
     9.7 +	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
     9.8 +	 Thy/document/pdfsetup.sty Thy/document/session.tex
     9.9  
    9.10  
    9.11  HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
    9.12 @@ -35,6 +37,8 @@
    9.13  $(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML	\
    9.14    Thy/HOLCF_Specific.thy
    9.15  	@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy
    9.16 +	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
    9.17 +	 Thy/document/pdfsetup.sty Thy/document/session.tex
    9.18  
    9.19  
    9.20  ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
    9.21 @@ -42,6 +46,8 @@
    9.22  $(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML 		\
    9.23    Thy/ZF_Specific.thy
    9.24  	@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy
    9.25 +	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
    9.26 +	 Thy/document/pdfsetup.sty Thy/document/session.tex
    9.27  
    9.28  
    9.29  ## clean

    10.1 --- a/doc-src/LaTeXsugar/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
    10.2 +++ b/doc-src/LaTeXsugar/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
    10.3 @@ -25,6 +25,8 @@
    10.4    Sugar/document/root.tex Sugar/document/root.bib \
    10.5    $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy 
    10.6  	@$(USEDIR) HOL Sugar
    10.7 +	@rm -f Sugar/document/isabelle.sty Sugar/document/isabellesym.sty \
    10.8 +	 Sugar/document/pdfsetup.sty Sugar/document/session.tex
    10.9  
   10.10  
   10.11  ## clean

    11.1 --- a/doc-src/LaTeXsugar/Sugar/document/session.tex	Wed Mar 11 20:11:06 2009 +0100
    11.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
    11.3 @@ -1,10 +0,0 @@
    11.4 -\input{LaTeXsugar.tex}
    11.5 -
    11.6 -\input{OptionalSugar.tex}
    11.7 -
    11.8 -\input{Sugar.tex}
    11.9 -
   11.10 -%%% Local Variables:
   11.11 -%%% mode: latex
   11.12 -%%% TeX-master: "root"
   11.13 -%%% End:

    12.1 --- a/doc-src/Locales/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
    12.2 +++ b/doc-src/Locales/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
    12.3 @@ -27,6 +27,8 @@
    12.4    Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \
    12.5    Locales/document/root.tex Locales/document/root.bib
    12.6  	@$(USEDIR) $(OUT)/HOL Locales
    12.7 +	@rm -f Locales/document/isabelle.sty Locales/document/isabellesym.sty \
    12.8 +	 Locales/document/pdfsetup.sty
    12.9  
   12.10  
   12.11  ## clean

    13.1 --- a/doc-src/System/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
    13.2 +++ b/doc-src/System/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
    13.3 @@ -24,6 +24,8 @@
    13.4  $(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML		\
    13.5    Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy
    13.6  	@$(USEDIR) -s System Pure Thy
    13.7 +	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
    13.8 +	 Thy/document/pdfsetup.sty Thy/document/session.tex
    13.9  
   13.10  
   13.11  ## clean