Commit b51ac456 authored by Glenn Morris's avatar Glenn Morris
Browse files

* make-dist: Remove references to src/

This file was removed two years ago in 2f893509.
No need to merge to master.
parent 9d87ba1e
Pipeline #676 failed with stage
in 60 minutes and 1 second
......@@ -327,10 +327,6 @@ if [ $update = yes ]; then
echo "Running autoreconf"
autoreconf -i -I m4 || { x=$?; echo Autoreconf FAILED! >&2; exit $x; }
## Make sure src/ is newer than
rm -f src/
echo timestamp > src/
echo "Updating Info files"
make info
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment