Admin/page/Makefile
author wenzelm
Sat, 07 Apr 2001 19:38:01 +0200
changeset 11239 be12c6f1ea75
parent 10096 6cbe69107c18
child 14582 f0779f6fa7e8
permissions -rw-r--r--
tuned
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
10084
ede64d0782e5 weblint;
wenzelm
parents: 10040
diff changeset
    40
all: clean main dist install weblint
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    41
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    42
main:
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    43
	@$(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
    44
	@env DISTNAME=`cat DISTNAME` \
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    45
	  $(GENPAGE) -t $(MAIN_LAYOUT)/$(TEMPLATE_NAME) -c $(MAIN_CONTENT) -o $(MAIN_TARGET)
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    46
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    47
dist:
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    48
	@$(MKCONTENT) -p `cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_DIST)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    49
	@env DISTNAME=`cat DISTNAME` \
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    50
	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    51
11239
wenzelm
parents: 10096
diff changeset
    52
install: main dist
10040
4642c9d62aeb added "install" target;
wenzelm
parents: 9920
diff changeset
    53
	@cp -R dist/. ..
11239
wenzelm
parents: 10096
diff changeset
    54
	@mkdir -p ../../main-`cat DISTNAME`/.
wenzelm
parents: 10096
diff changeset
    55
	@cp -R main/. ../../main-`cat DISTNAME`/.
10040
4642c9d62aeb added "install" target;
wenzelm
parents: 9920
diff changeset
    56
10084
ede64d0782e5 weblint;
wenzelm
parents: 10040
diff changeset
    57
weblint:
10091
wenzelm
parents: 10084
diff changeset
    58
	-weblint -x netscape $(MAIN_TARGET)
wenzelm
parents: 10084
diff changeset
    59
	-weblint -x netscape $(DIST_TARGET)
10084
ede64d0782e5 weblint;
wenzelm
parents: 10040
diff changeset
    60
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    61
clean: 
9920
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    62
	@rm -rf $(MAIN_TARGET)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    63
	@rm -rf $(DIST_TARGET)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    64
	@rm -rf $(DOC_CONTENTS_MAIN)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    65
	@rm -rf $(DOC_CONTENTS_DIST)
9734f2717203 improved WWW page generation (still somewhat experimental);
wenzelm
parents: 8133
diff changeset
    66
	@find . -name "*~" -type f -print | xargs rm -f