rillig 2b1a9a3af0 mk/scripts: fix a few of the HTML injections in README generation ... These are needed for the djb-errno-hack option, which includes the <> characters.		2020-05-10 07:48:10 +00:00
..
binpkg-cache
binpkg-scan
chkdatabase.awk
depends-depth-first.awk
fail
genindex.awk
genreadme.awk	mk/scripts: fix a few of the HTML injections in README generation	2020-05-10 07:48:10 +00:00
htmloptions.awk	mk/scripts: fix a few of the HTML injections in README generation	2020-05-10 07:48:10 +00:00
larger_symbol_version.awk
mkdatabase
mkreadme
pkg_path
remove_todo
shell-lib
subst-identity.awk	mk/subst.mk: allow identity substitutions with escaped dots	2020-05-06 06:14:56 +00:00