From a8291aea3f0772c7cc1962f0cc6a549ce9cf0198 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Tue, 23 Oct 2007 13:20:00 +0000
Subject: [PATCH] Web update put inside Makefile.

darcs-hash:20071023132044-f2ef6-fe2af6aa0a7ae82e539f7a1f9c38ae1f7c6fdaf0.gz
---
 doc/Makefile   | 13 +++++++++++++
 doc/index.html |  2 +-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index a3b2e1a..945fcd6 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -26,3 +26,16 @@ PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
 
 clean:
 	rm -f $(SOURCE).{aux,cp,cps,fn,ky,log,pg,toc,tp,vr,vrs} $(PDF_FIGS)
+
+WWW ?= www
+
+web: $(WWW) $(addprefix $(WWW)/,index.html $(SOURCE).html $(wildcard *.png))
+
+$(WWW):
+	mkdir $@
+
+$(WWW)/index.html: index.html
+	sed -e "s/<!-- @LAST_MODIFIED@ -->/`LC_TIME=C TZ= date`/" < $< > $@
+
+$(WWW)/%: %
+	cp -p $^ $@
diff --git a/doc/index.html b/doc/index.html
index 05c3e2d..ddc1bc4 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -60,5 +60,5 @@ There is no mailing list yet. Send an email to sojkam1 (at) fel.cvut.cz.
 </ul>
 <hr>
 <address></address>
-<!-- hhmts start -->Last modified: Mon Oct 22 19:29:05 CEST 2007 <!-- hhmts end -->
+Last modified: <!-- @LAST_MODIFIED@ -->
 </body> </html>
-- 
2.39.2