mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
6f5bd96ed8
This should prevent the issues of dist/buildmk and src/mkhdr getting out of synchronization yet again. I also add a rule for arm64 to the OBJTYPE sed command. Fixes #243 Fixes #320 Change-Id: I60f69a1f32b5ed5ae5ac8a1659c38e29debed005 |
||
---|---|---|
.. | ||
debian | ||
pkg | ||
troff | ||
addsrclinks | ||
buildmk | ||
checkman.awk | ||
deb.html | ||
fixurls | ||
glendacircle.png | ||
isum | ||
isum.awk | ||
main.html | ||
maketarball | ||
manindexbottom.html | ||
manindextop.html | ||
mantrailer.html | ||
manweb | ||
mkdirlist | ||
mkfile | ||
mkfilelist | ||
publish | ||
README | ||
spaceglenda100.png | ||
ss.html | ||
unix.html |
This directory contains scripts and files that help to run the distribution. mk check.out summarizes problems with the man pages. mk man recreates the HTML version of the man pages mk push copies the HTML pages to 9fans.github.io