1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
#*********************************************************************#
# #
# Active-DVI #
# #
# Projet Cristal, INRIA Rocquencourt #
# #
# Copyright 2003 Institut National de Recherche en Informatique et #
# en Automatique. All rights reserved. This file is distributed #
# under the terms of the GNU Lesser General Public License. #
# #
# Jun Furuse, Didier Rmy and Pierre Weis. #
# Contributions by Roberto Di Cosmo, Didier Le Botlan, #
# Xavier Leroy, and Alan Schmitt. #
# #
# Based on Mldvi by Alexandre Miquel. #
#*********************************************************************#
# $Id: MakeHTML,v 1.10 2004/10/02 21:35:09 weis Exp $
# Makefile to generate the HTML files of a WEB site from their sources
# in another directory.
# Usage:
#
# Initialization:
# create an empty file named .Makefile.auto in the same directory,
# fill in the SRC and FILES variables below,
# type make to initialize the Makefile included rules.
# Site maintenance (or creation):
# make (or make all) will rebuild the whole thing
# make clean will remove all the generated files
# Sources files directory
SRC=../doc_src
# Prefix before regular names
PACKAGE=advi
# The list of files for this part of the Web site
FILES=index.htm fra.htm eng.htm faq-fra.htm faq-eng.htm \
screen-shots-fra.htm screen-shots-eng.htm
include ../Makefile.config
######## This part of the Makefile should automatically handle the
######## generation of object files for the list $(FILES)
# Automatic generation of rules to handle $(FILES)
# Rules are written into auxiliary file $(AUTO) that is included at
# the end of this Makefile.
AUTO=.Makefile.auto
all: $(AUTO) expand $(FILES) thumbnails
thumbnails:
cd pngs && $(MAKE) all
expand:
cd $(SRC) && $(MAKE)
clean: $(AUTO)
cd $(SRC) && $(MAKE) clean
cd pngs && $(MAKE) clean
$(RM) $(FILES)
# Note: make auto regenerates the rules into file .Makefile.auto.
# (handled automatically). .Makefile.auto depends upon this Makefile,
# since any addition to the Makefile may leads to the recompilation of
# the rules. Hence,
# make clean all
# will recompute the rules and recompile the set of files again.
$(AUTO): MakeHTML
$(AUTO):
$(RM) $(AUTO)
for i in $(FILES); do \
j=`basename $$i .htm`; \
echo $$i: $(SRC)/$(PACKAGE)-$$j.htm >> $(AUTO); \
echo " - $(RM) $$j.htm; " >> $(AUTO); \
echo " cp -p $(SRC)/$(PACKAGE)-$$j.htm $$j.htm" >> $(AUTO); \
echo >> $(AUTO); \
done
include $(AUTO)
|
