diff options
Diffstat (limited to 'bin/Makefile')
| -rw-r--r-- | bin/Makefile | 2 |
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: |