Update TODO
Work on GAP and GAP packages
Start work on .app bundle
add a TODO
fix a bunch of install names
Make 'patch' file handling generic
normaliz: use install_name_tool
Pass location of base, src and build dirs to scripts
bundle: add clean target, fix perms of installed executables
Add a tool which automatically fixes install_name paths
gap: use relative paths to GAP for packages
gap: build manuals
singular: apply a patch which prevents most (all?) hardcoded paths
Improve fix_install_names.sh
singular: make use of fix_install_names.sh
Use fix_install_names.sh some more, strip binaries

stripping debug symbols from binaries makes it easier to find
any remaining hard coded paths
Makefile: tweak 'all' target
gap: set HOME in run-script.sh to avoid GAP crashing
singular: remove last traces of build path
mpfi: strip installed dylib