Ondrej Zajicek (work) 312aeda393 Tools: Improve make-dev-archive ... Use git-archive to avoid unrelated and temporary files and fix some minor issues (e.g. dependency on bash as system shell).		2021-05-19 17:22:12 +02:00
..
linuxdoc-tools
config.guess
config.sub
cvslog
gendist
install-sh
linuxdoc
make-dev-archive	Tools: Improve make-dev-archive	2021-05-19 17:22:12 +02:00
make-obs	add apkg-powered upstream packaging for deb, rpm	2021-05-19 17:22:11 +02:00
progdoc