99c39991cd
This is a first cut at updating various infrastructure for git. There will definitely be more commits; some of the scripts require committed/pushed code (e.g., the various make-tarball scripts). So it's not possible to know if we got it right without committing/pushing. |
||
---|---|---|
.. | ||
build-server | ||
linux | ||
macosx-pkg | ||
mofed | ||
find-copyrights.pl | ||
gkcommit.pl | ||
make_dist_tarball | ||
make_tarball | ||
make-authors.pl | ||
make-html-man-pages.pl |