From 48014f1c32317a838a9724e6ee1354236ff6ead2 Mon Sep 17 00:00:00 2001 From: June McEnroe Date: Mon, 18 Feb 2019 17:07:53 -0500 Subject: Remove hi line numbering Tags are much better for referring to specific parts of a file and line numbering is better done by a post-processing tool such as cat -n or producing a two-column HTML . --- bin/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'bin/Makefile') diff --git a/bin/Makefile b/bin/Makefile index 43d2cce1..4788281c 100644 --- a/bin/Makefile +++ b/bin/Makefile @@ -101,16 +101,16 @@ $(HTMLS): ttpre hi .SUFFIXES: .html .c.html: - @./hi -f html -o document,anchor,tab=4 -m $< /dev/null > $@ + @./hi -f html -o document,tab=4 -n $< /dev/null > $@ @echo '$< in git' >> $@ man -P cat ./man1/$(<:%.c=%.1) | ./ttpre >> $@ - ./hi -n -f html -o anchor $< >> $@ + ./hi -f html -o anchor $< >> $@ .sh.html: - @./hi -f html -o document,anchor,tab=4 -m $< /dev/null > $@ + @./hi -f html -o document,tab=4 -n $< /dev/null > $@ @echo '$< in git' >> $@ man -P cat ./man1/$(<:%.sh=%.1) | ./ttpre >> $@ - ./hi -n -f html -o anchor $< >> $@ + ./hi -f html -o anchor $< >> $@ clean: rm -f $(BINS_ALL) $(LINKS) tags scheme.h scheme.png *.o *.html -- cgit 1.4.1