nia 94a4d76a74 mkreadme: Rename generated files to index.html ... This should make web servers happier, as discusesd on tech-pkg.		2021-04-05 10:32:38 +00:00
..
binpkg-cache	Typo	2020-05-30 03:36:45 +00:00
binpkg-scan
chkdatabase.awk
depends-depth-first.awk
fail
genindex.awk
genreadme.awk	mkreadme: Rename generated files to index.html	2021-04-05 10:32:38 +00:00
htmloptions.awk	genreadme: Fix printing of package options where there's more than one	2021-02-22 04:19:00 +00:00
larger_symbol_version.awk
mkdatabase
mkreadme	mkreadme: Rename generated files to index.html	2021-04-05 10:32:38 +00:00
pkg_path
remove_todo
shell-lib
subst-identity.awk	mk/subst.mk: fix wrong SUBST failure in mail/policyd-weight	2020-06-06 13:17:34 +00:00