John Floren 5b517f23e7 Don't bother building man pages and indexes, they are already built. | vor 2 Jahren | |
---|---|---|
.. | ||
scripts | vor 2 Jahren | |
.gitignore | vor 3 Jahren | |
9-cc.patch | vor 3 Jahren | |
BUILD_IN_DOCKER | vor 3 Jahren | |
Dockerfile | vor 3 Jahren | |
README | vor 3 Jahren | |
RUNCOREBOOT | vor 2 Jahren | |
bind | vor 3 Jahren | |
build-go.sh | vor 3 Jahren | |
build-usb.bash | vor 2 Jahren | |
build.bash | vor 2 Jahren | |
command.bash | vor 3 Jahren | |
make.bash | vor 3 Jahren | |
mkdirs | vor 3 Jahren |