From 7871b3fb126d13cacc4d0c91844f0e5846cb0357 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Sat, 14 May 2016 19:25:51 +0200 Subject: reproducible debian: mark active page in navigation (misses the .py part) --- bin/reproducible_common.sh | 25 ++++++++++++++++++++----- 1 file changed, 20 insertions(+), 5 deletions(-) (limited to 'bin/reproducible_common.sh') diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 57fb10ba..695fef90 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -214,7 +214,9 @@ write_page_header() { fi write_page "