summaryrefslogtreecommitdiff
path: root/pkg/man-pages-posix
AgeCommit message (Collapse)Author
2020-11-28man-pages-posix: Update to 2017-aMichael Forney
2020-04-15Use gzipped archives when size difference is negligibleMichael Forney
2019-03-19Rename rev to ver, and keep track of package versions as wellMichael Forney
2017-09-25Rewrite ninja generation scripts in LuaMichael Forney
2017-09-20man-pages-posix: Just check in list of man pagesMichael Forney
2016-12-29Allow using /.git as output repositoryMichael Forney
2016-12-19Invoke gzip with <$f, since pigz doesn't fail if it is missingMichael Forney
2016-12-19Compress man pagesMichael Forney
2016-12-13Move to flat package hierarchyMichael Forney
Note to self: never try to move submodules again To migrate your existing submodules (more or less): set -x set -e mkdir .git/modules/pkg for old in */*/src ; do new="pkg/${old#*/}" if ! [ -f "$old/.git" ] || [ "${old%%/*}" = pkg ] ; then continue fi git -C ".git/modules/$old" config core.worktree "../../../../../$new" rmdir "$new" mv "$old" "$new" sed -e "s,$old,$new," "$new/.git" > "$new/.git.tmp" mv "$new/.git.tmp" "$new/.git" mkdir ".git/modules/${new%/src}" mv ".git/modules/$old" ".git/modules/$new" rm "${old%/src}"/*.ninja mv "${old%/src}"/*.tar.{gz,xz,bz2} "${new%/src}/" rmdir "${old%/src}" || true done sed -e 's,^\[submodule "[^/]*/,[submodule "pkg/,' .git/config > .git/config.tmp mv .git/config.tmp .git/config