basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
authorwenzelm
Mon Sep 15 17:32:12 2008 +0200 (2008-09-15 ago)
changeset 28220889e5b7e006c
parent 28219 5465883d64da
child 28221 ca9fdab0f971
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
doc-src/System/IsaMakefile
doc-src/System/Thy/ROOT.ML
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/System/IsaMakefile	Mon Sep 15 17:32:12 2008 +0200
     1.3 @@ -0,0 +1,32 @@
     1.4 +
     1.5 +## targets
     1.6 +
     1.7 +default: Pure-System
     1.8 +images: 
     1.9 +test: Pure-System
    1.10 +
    1.11 +all: images test
    1.12 +
    1.13 +
    1.14 +## global settings
    1.15 +
    1.16 +SRC = $(ISABELLE_HOME)/src
    1.17 +OUT = $(ISABELLE_OUTPUT)
    1.18 +LOG = $(OUT)/log
    1.19 +
    1.20 +USEDIR = $(ISATOOL) usedir -v true -i false -d false -C false -D document
    1.21 +
    1.22 +
    1.23 +## IsarRef sessions
    1.24 +
    1.25 +Pure-System: $(LOG)/Pure-System.gz
    1.26 +
    1.27 +$(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML	\
    1.28 +  Thy/Basics.thy
    1.29 +	@$(USEDIR) -s System Pure Thy
    1.30 +
    1.31 +
    1.32 +## clean
    1.33 +
    1.34 +clean:
    1.35 +	@rm -f $(LOG)/Pure-System.gz
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/doc-src/System/Thy/ROOT.ML	Mon Sep 15 17:32:12 2008 +0200
     2.3 @@ -0,0 +1,7 @@
     2.4 +
     2.5 +(* $Id$ *)
     2.6 +
     2.7 +set ThyOutput.source;
     2.8 +use "../../antiquote_setup.ML";
     2.9 +
    2.10 +use_thy "Basics";