diff options
| author | June McEnroe <june@causal.agency> | 2019-02-18 17:07:53 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2019-02-18 17:07:53 -0500 |
| commit | f438b384749b22a28582e2c17b54ff1bf5ca9fb9 (patch) | |
| tree | 0c465901a61403583f8c2df0705440193010781e /bin/Makefile | |
| parent | Add Tag class to hi (diff) | |
| download | src-f438b384749b22a28582e2c17b54ff1bf5ca9fb9.tar.gz src-f438b384749b22a28582e2c17b54ff1bf5ca9fb9.zip | |
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 <table>.
Diffstat (limited to '')
| -rw-r--r-- | bin/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
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 '<code><a href="$(GITEA_URL)/$<">$< in git</a></code>' >> $@ 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 '<code><a href="$(GITEA_URL)/$<">$< in git</a></code>' >> $@ 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 |