diff options
author | June McEnroe <june@causal.agency> | 2021-09-22 18:46:14 -0400 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2021-09-22 18:46:14 -0400 |
commit | dc173ca9c660f775675d6c712f82dcedccdf9db0 (patch) | |
tree | 704644a1574a1b9361649a18db498641c7cff9d5 /bin/html.mk | |
parent | Call sandbox in CGI mode (diff) | |
download | src-dc173ca9c660f775675d6c712f82dcedccdf9db0.tar.gz src-dc173ca9c660f775675d6c712f82dcedccdf9db0.zip |
Remove Linux-specific utilities
I haven't used these in ages.
Diffstat (limited to '')
-rw-r--r-- | bin/html.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bin/html.mk b/bin/html.mk index 92baed46..c1f85595 100644 --- a/bin/html.mk +++ b/bin/html.mk @@ -4,7 +4,6 @@ HTMLS = index.html png.html HTMLS += ${BINS:=.html} HTMLS += ${BSD:=.html} HTMLS += ${GAMES:=.html} -HTMLS += ${LINUX:=.html} HTMLS += ${TLS:=.html} html: ${HTMLS} |