From de7dc996802f84b7d29fef773ce616dc29664c01 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Thu, 13 Sep 2001 07:12:04 +0000
Subject: [PATCH] tex.mk: Fix some targets (just provisional)

---
 make/tex.mk | 25 +++++++++++++++++--------
 1 file changed, 17 insertions(+), 8 deletions(-)

diff --git a/make/tex.mk b/make/tex.mk
index 8641d593..2806f4d3 100644
--- a/make/tex.mk
+++ b/make/tex.mk
@@ -43,18 +43,26 @@ TEX_WARN_DONT_EDIT = "\
 %| It was automatically created during the build     |\n\
 %|                   process!                        |\n\
 %+---------------------------------------------------+\n"
+HTML_WARN_DONT_EDIT = "\
+<!--\n\
++---------------------------------------------------+\n\
+|            DO NOT EDIT THIS FILE!                 |\n\
+| It was automatically created during the build     |\n\
+|                   process!                        |\n\
++---------------------------------------------------+\n\
+-->"
 WD = `pwd`
 
 IMAGES = $(patsubst %,$(IMAGEDIR)/%,$(FRONTLOGO_EPS) $(FRONTLOGO_WEB) \
 	$(ICON_UP) $(ICON_PREV) $(ICON_NEXT) $(ICON_INDEX) $(ICON_CONTENTS)) \
 
 #LOCAL_IMPORTED_TEMPLATES = $(notdir $(IMPORTED_TEMPLATES))
-#FMT_OFFLINE = tex dvi ps pdf txt
-#FMT = $(FMT_OFFLINE) html
-#OUT = $(DISTDIR)/$(OUTPUT)
-#FMT_OUT = $(patsubst %,$(OUT).%.zip,$(FMT))
-#FMT_OFFLINE_OUT = $(patsubst %,$(OUT).%.zip,$(FMT_OFFLINE))
-#ALL = $(FMT_OUT) html_install
+FMT_OFFLINE = tex dvi ps pdf txt
+FMT = $(FMT_OFFLINE) html
+OUT = $(DISTDIR)/$(OUTPUT)
+FMT_OUT = $(patsubst %,$(OUT).%.zip,$(FMT))
+FMT_OFFLINE_OUT = $(patsubst %,$(OUT).%.zip,$(FMT_OFFLINE))
+ALL = $(FMT_OUT) html_install
 #PRE_HTML = $(patsubst %.tmpl,%,$(wildcard *.html.tmpl))
 #LINETMPL=$(wildcard *.linetmpl)
 #TEXFROMGER=$(patsubst %.ger,%.tex,$(wildcard *.ger))
@@ -68,7 +76,8 @@ NEWDIRS = $(DISTDIR) $(HTMLDIR) $(DVIDIR)
 
 define mangle_tmpl
 	@echo $< \-\> $@
-	@echo -e $(TEX_WARN_DONT_EDIT) > $@
+	@if [ $(suffix $@) = tex ];  then echo -e $(TEX_WARN_DONT_EDIT)  > $@; fi
+	@if [ $(suffix $@) = html ]; then echo -e $(HTML_WARN_DONT_EDIT) > $@; fi
 	TMPIMAGEDIR="`echo $(IMAGEDIR) | sed -e 's/\//\\\\\//g;'`" ;\
 	cat $< | sed -e "\
 		s/ä/\"a/g; \
@@ -208,7 +217,7 @@ $(OUTPUT).txt: $(OUTPUT).dvi
 $(OUT).txt.zip: $(OUTPUT).txt
 	zip $@ $<
 
-$(HTMLDIR): $(LATEX_INPUT) $(HTML_INPUT)
+$(HTMLDIR): $(LATEX_INPUT) $(HTML_INPUT) tex dvi ps txt pdf 
 	test $(MAIN) != index
 	rm -rf $@
 	mkdir -p $@