1
# Makefile for Rivet documentation
3
# Copyright 2004-2005 The Apache Software Foundation
5
# Licensed under the Apache License, Version 2.0 (the "License");
6
# you may not use this file except in compliance with the License.
7
# You may obtain a copy of the License at
9
# http://www.apache.org/licenses/LICENSE-2.0
11
# Unless required by applicable law or agreed to in writing, software
12
# distributed under the License is distributed on an "AS IS" BASIS,
13
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
# See the License for the specific language governing permissions and
15
# limitations under the License.
17
# $Id: Makefile.am 1419054 2012-12-09 18:01:03Z mxmanghi $
21
MANDIRS = html/ html/images
22
PICTURES:=$(wildcard images/*.png)
23
EXAMPLES_SGML:=$(wildcard examples-sgml/*.*)
24
EXAMPLES:=$(wildcard examples/*.*)
26
# English, multiple files.
27
html/index.html: rivet.xml rivet-chunk.xsl rivet.xsl xml/*.xml
28
xsltproc --stringparam html.stylesheet rivet.css \
29
--stringparam html.ext ".html" \
30
--stringparam chunker.output.encoding UTF-8 \
31
--nonet -o html/ rivet-chunk.xsl rivet.xml
33
# English, one big file.
34
html/rivet.html: rivet.xml rivet-nochunk.xsl rivet.xsl xml/*.xml
35
xsltproc --stringparam html.stylesheet rivet.css \
36
--stringparam html.ext ".html" \
37
--stringparam chunker.output.encoding UTF-8 \
38
--nonet -o html/rivet.html rivet-nochunk.xsl \
41
# This means these are not build automatically, but at least
42
# people aren't forced to build them either.
44
docs: picts html/rivet.css html/index.html
46
docs-nochunk: picts html/rivet.css html/rivet.html
48
html/rivet.css: mandirs rivet.css
51
# target picts checks the directory tree exists, then lets target 'graphics' copy new
52
# or updated files to the target tree.
54
picts: mandirs graphics
58
cp -v $$gfile html/images/ ; \
63
( echo 'set source_examples { $(EXAMPLES) }; source ./convert_examples.tcl' | @TCLSH_PROG@ ; )
65
# target that builds the essential directory tree that will get the html and
66
# graphic files of the manual
73
# this target cleans everything up in the html directory
81
if [ -e graphics ]; then \