redo
redo copied to clipboard
Make location of redoconf scripts definable
Introduce REDOCONF variable that can be set in 'configure' just as S.
Rationale: Some people might want to hide redoconf in .redoconf and, generally, just not to fix things that can stay variable.
Also fixes a bug in configure.sh, which unconditionally overwrites S.