f6fe00db5c
It's time to start preparing for a version of redo that doesn't work unless we build it first (because it will rely on C modules, and eventually be rewritten in C altogether). To get rolling, remove the old-style symlinks to the main programs, and rename those programs from redo-*.py to redo/cmd_*.py. We'll also move all library functions into the redo/ dir, which is a more python-style naming convention. Previously, install.do was generating wrappers for installing in /usr/bin, which extend sys.path and then import+run the right file. This made "installed" redo work quite differently from running redo inside its source tree. Instead, let's always generate the wrappers in bin/, and not make anything executable except those wrappers. Since we're generating wrappers anyway, let's actually auto-detect the right version of python for the running system; distros can't seem to agree on what to call their python2 binaries (sigh). We'll fill in the right #! shebang lines. Since we're doing that, we can stop using /usr/bin/env, which will a) make things slightly faster, and b) let us use "python -S", which tells python not to load a bunch of extra crap we're not using, thus improving startup times. Annoyingly, we now have to build redo using minimal/do, then run the tests using bin/redo. To make this less annoying, we add a toplevel ./do script that knows the right steps, and a Makefile (whee!) for people who are used to typing 'make' and 'make test' and 'make clean'.
15 lines
559 B
Text
15 lines
559 B
Text
# update the local 'man' branch with pregenerated output files, for people
|
|
# who don't have pandoc (and maybe to aid in google searches or something)
|
|
redo-ifchange all
|
|
git update-ref refs/heads/man origin/man '' 2>/dev/null || true
|
|
|
|
export GIT_INDEX_FILE=gitindex.tmp
|
|
rm -f $GIT_INDEX_FILE
|
|
git add -f *.1
|
|
|
|
MSG="Autogenerated man pages for $(git describe)"
|
|
TREE=$(git write-tree --prefix=docs)
|
|
git show-ref refs/heads/man >/dev/null && PARENT="-p refs/heads/man"
|
|
COMMITID=$(echo "$MSG" | git commit-tree $TREE $PARENT)
|
|
|
|
git update-ref refs/heads/man $COMMITID
|