summary refs log tree commit diff
path: root/bin/Makefile
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--bin/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/Makefile b/bin/Makefile
index 1508a43b..fc72f5b9 100644
--- a/bin/Makefile
+++ b/bin/Makefile
@@ -139,7 +139,7 @@ $(HTMLS): ttpre hi html.sh
 
 index.html: Makefile bin.7
 	sh html.sh Makefile bin.7 \
-		| sed -E -e 's#([a-z0-9-]+)[(]1[)]#<a href="\1.html">&</a>#' \
+		| sed -E 's#([a-z0-9-]+)[(][13][)]#<a href="\1.html">&</a>#' \
 		> index.html
 
 clean: