Admin/page/Makefile
author wenzelm
Wed, 13 Sep 2000 22:49:17 +0200
changeset 9954 734e0ec40f44
parent 9920 9734f2717203
child 10040 4642c9d62aeb
permissions -rw-r--r--
dummy (generated by makedist);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8133
ba1498046ee6 Id line inserted
kleing
parents: 8132
diff changeset
     1
# -- makefile for Isabelle web pages (dist and main)
ba1498046ee6 Id line inserted
kleing
parents: 8132
diff changeset
     2
# -- $Id$
ba1498046ee6 Id line inserted
kleing
parents: 8132
diff changeset
     3
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
     4
# --- external tools
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     5
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
     6
GENPAGE   = ./bin/genpage
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
     7
MKCONTENT = ./bin/mkcontents
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     8
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     9
# ---
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    10
# --- genpage stuff 
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    11
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    12
# --- directories for main isabelle pages
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    13
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    14
MAIN_CONTENT = main-content
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    15
MAIN_LAYOUT  = main-layout
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    16
MAIN_TARGET  = main
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    17
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    18
# --- directories for isabelle distribution pages
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    19
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    20
DIST_CONTENT = dist-content
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    21
DIST_LAYOUT  = dist-layout
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    22
DIST_TARGET  = dist
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    23
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    24
# --- name of genpage template file
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    25
TEMPLATE_NAME = template.html
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    26
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    27
# ---
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    28
# --- doc content generation
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    29
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    30
# --- location of the Contents file of the Isabelle documentation
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    31
DOC_CONTENT_FILE = Contents
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    32
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    33
# --- target include files with documentation links
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    34
DOC_CONTENTS_MAIN = docu-contents.main
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    35
DOC_CONTENTS_DIST = docu-contents.dist
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    36
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    37
# ---
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    38
# --- begin rules
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    39
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    40
all: clean main dist
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    41
	@echo "###"
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    42
	@echo "### Finished.  See main/ and dist/ for the resulting pages."
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    43
	@echo "###"
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    44
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    45
main:
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    46
	@$(MKCONTENT) -p dist/`cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_MAIN)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    47
	@env DISTNAME=`cat DISTNAME` \
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    48
	  $(GENPAGE) -t $(MAIN_LAYOUT)/$(TEMPLATE_NAME) -c $(MAIN_CONTENT) -o $(MAIN_TARGET)
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    49
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    50
dist:
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    51
	@$(MKCONTENT) -p `cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_DIST)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    52
	@env DISTNAME=`cat DISTNAME` \
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    53
	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    54
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    55
clean: 
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    56
	@rm -rf $(MAIN_TARGET)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    57
	@rm -rf $(DIST_TARGET)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    58
	@rm -rf $(DOC_CONTENTS_MAIN)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    59
	@rm -rf $(DOC_CONTENTS_DIST)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    60
	@find . -name "*~" -type f -print | xargs rm -f