From 81043777f7f1932f765ea20d1167980dd4c09524 Mon Sep 17 00:00:00 2001 From: Rafael Laboissière Date: Sat, 28 Jun 2025 05:02:18 -0300 Subject: Add time stamp on web page --- Makefile | 3 ++- www/index.html.in | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d08f116..1bcfe23 100644 --- a/Makefile +++ b/Makefile @@ -7,6 +7,7 @@ BUILD = www/$(INDEX) apache/praat.conf REPODATA = repo/db repo/dists repo/pool REPOHOST = www.cefala.org USER = rlaboiss +TODAY = $(shell date) build-stamp: $(BUILD) mkdir -p $(REPODATA) @@ -25,7 +26,7 @@ install-www: build-stamp sudo service apache2 restart %: %.in - sed -e 's|@WWWHOST@|$(WWWHOST)|;s|@WWWDIR@|$(WWWDIR)|;s|@INDEX@|$(INDEX)|;s|@GPGKEY@|$(GPGKEY)|' $< > $@ + sed -e 's|@WWWHOST@|$(WWWHOST)|;s|@WWWDIR@|$(WWWDIR)|;s|@INDEX@|$(INDEX)|;s|@GPGKEY@|$(GPGKEY)|;s|@TODAY@|$(TODAY)|' $< > $@ .PHONY: clean clean: diff --git a/www/index.html.in b/www/index.html.in index d9dea48..3c4fbb1 100644 --- a/www/index.html.in +++ b/www/index.html.in @@ -115,6 +115,7 @@ pre {

Problems? Suggestions? Contact rafael AT debian DOT org.

+

Last updated on @TODAY@

-- cgit v1.2.3