-redo-ifchange *.texi VERSION
+redo-ifchange *.texi ../VERSION
${MAKEINFO:-makeinfo} \
- -D "VERSION `cat VERSION`" \
+ -D "VERSION `cat ../VERSION`" \
--set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
--set-customization-variable OPEN_QUOTE_SYMBOL=\" \
--output $3 goredo.texi