summary refs log tree commit diff
path: root/doc/pdf/Makefile
diff options
context:
space:
mode:
authorJune McEnroe <june@causal.agency>2021-08-25 17:34:45 -0400
committerJune McEnroe <june@causal.agency>2021-08-25 17:34:45 -0400
commit08caa0a0b3da4d1dd33039ac59fb541497661671 (patch)
treedba85ab517672a0d5390a93f0ccccc30e89c21e2 /doc/pdf/Makefile
parentChange liberapay link name to donate (diff)
downloadsrc-08caa0a0b3da4d1dd33039ac59fb541497661671.tar.gz
src-08caa0a0b3da4d1dd33039ac59fb541497661671.zip
Use command -v rather than type
Some shells write to standard error from type when the command is
not found. command -v is silent.
Diffstat (limited to 'doc/pdf/Makefile')
0 files changed, 0 insertions, 0 deletions
2019-02-17Generate HTML with hi -n -f html -o anchorJune McEnroe Running hi twice to insert stuff between the head and the content is a bit of a hack but oh well. 2019-02-17Add hi -f html -o anchor for line number linksJune McEnroe 2019-02-17Simplify temp trap in upJune McEnroe 2019-02-17Add line numbers to hiJune McEnroe Renames previous -n option to -m to stay consistent with cat -n. Prefixing lines with line numbers affects where the first tab indent ends up relative to the text above it. Not sure if it's worth fixing somehow. 2019-02-17Always split spans after newlinesJune McEnroe Simplifies ANSI and IRC output code, and prepares for line numbered output. 2019-02-15Color format specifiers light cyan in vimJune McEnroe 2019-02-15Highlight Interp as yellowJune McEnroe 2019-02-15Highlight strings in sh command substitutionsJune McEnroe 2019-02-15Add nmap gpJune McEnroe 2019-02-14Avoid newline when copying URL to pasteboardJune McEnroe 2019-02-13Add forgotten "sixth" book of H2G2June McEnroe