doc-src/Main/IsaMakefile
author wenzelm
Wed, 15 Apr 2009 11:14:48 +0200
changeset 30895 bad26d8f0adf
parent 30457 28b487cd9e15
child 42513 96a55556639c
permissions -rw-r--r--
updated for Isabelle2009;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
30457
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
     1
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
     2
## targets
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
     3
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
     4
default: HOL-Docs
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
     5
images:
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
     6
test: HOL-Docs
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
     7
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
     8
all: images test
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
     9
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    10
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    11
## global settings
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    12
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    13
SRC = $(ISABELLE_HOME)/src
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    14
OUT = $(ISABELLE_OUTPUT)
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    15
LOG = $(OUT)/log
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    16
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    17
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    18
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    19
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    20
## sessions
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    21
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    22
HOL-Docs: $(LOG)/HOL-Docs.gz
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    23
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    24
$(LOG)/HOL-Docs.gz: Docs/Main_Doc.thy Docs/ROOT.ML
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    25
	@$(USEDIR) HOL Docs
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    26
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    27
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    28
## clean
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    29
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    30
clean:
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset
    31
	@rm -f $(LOG)/HOL-Docs.gz