diff options
| author | fbarriere <fbarriere> | 2001-08-29 21:31:27 +0000 |
|---|---|---|
| committer | fbarriere <fbarriere> | 2001-08-29 21:31:27 +0000 |
| commit | 393dc37d4b36c6f5dbf9bd56f1e6aea6afad17b3 (patch) | |
| tree | 3b5d935c619b41cefbba28b1b2c363e98899ff33 /manual | |
| parent | 07f9a93eee2e73d29198b321d7a1414979c27ddc (diff) | |
| download | sylpheeddoc-doc-393dc37d4b36c6f5dbf9bd56f1e6aea6afad17b3.tar.gz sylpheeddoc-doc-393dc37d4b36c6f5dbf9bd56f1e6aea6afad17b3.tar.xz sylpheeddoc-doc-393dc37d4b36c6f5dbf9bd56f1e6aea6afad17b3.zip | |
Created.
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/Makefile | 82 |
1 files changed, 82 insertions, 0 deletions
diff --git a/manual/Makefile b/manual/Makefile new file mode 100644 index 0000000..ebea532 --- /dev/null +++ b/manual/Makefile @@ -0,0 +1,82 @@ +###################################################################### +# Generate HTML pages from SGML docs. +# ================================== +# +# You may need to define (if the default location does not +# correspond to your installation) the SGML_TOOL variable +# (using SGML_TOOL=<path-to-sgml2html> on the make command +# line). +# The other vars can be left to their default values. +# +###################################################################### +# $Log: Makefile,v $ +# Revision 1.1 2001/08/29 21:31:27 fbarriere +# Created. +# +###################################################################### + +SGML_TOOL := /usr/bin/sgml2html +SGML_TOOL_OPT := +#SGML_TOOL_OPT := --imagebuttons + +# +# Defines the list of languages to process. +# +LANGS := en fr + +# +# Where are the HTML pages: +# +HTML_DIR := HTML + +# +# Some standard shell tools: +# +MKDIR := mkdir +CAT := /bin/cat +RM := /bin/rm -rf + +# +# Edits under this point are not recommended. +# #################################################### + +ROOT_DIR := $(shell pwd) + +# +# Top level targets: then per language targets. +# + +all: + @ for LANG1 in $(LANGS);\ + do\ + echo "***Processing: $$LANG1";\ + if [ ! -d $(HTML_DIR) ];\ + then\ + $(MKDIR) $(HTML_DIR);\ + fi;\ + if [ ! -d $(HTML_DIR)/$$LANG1 ];\ + then\ + $(MKDIR) $(HTML_DIR)/$$LANG1;\ + fi;\ + $(MAKE) -f $(ROOT_DIR)/Makefile -C $(HTML_DIR)/$$LANG1 LANG1=$$LANG1 ROOT_DIR=$(ROOT_DIR) user_guide.html;\ + done; + +# +# Targets: the final one(s), generate the HTML(s). +# + +user_guide.html: user_guide.sgml + @ echo "******Starting $(SGML_TOOL)." + @ $(SGML_TOOL) $(SGML_TOOL_OPT) user_guide.sgml + +user_guide.sgml: $(ROOT_DIR)/$(LANG1)/*.sgml + @ echo "******Building full SGML file." + @ $(CAT) $(ROOT_DIR)/$(LANG1)/*.sgml > user_guide.sgml + + +# +# Usual clean target: +# + +clean: + - $(RM) $(HTML_DIR) |