Colin Watson wrote on 09/03/18 16:53: >> git reset --hard && git clean -f && make distclean >> $ ./bootstrap && ./configure --with-gs=/usr/bin/gs --prefix=$HOME \ >> && make -j9 install >> >> Could building be done even less dirty? [...]> In the meantime, "git checkout -- doc/automake_migration_tests.txt" > after "make distclean" should work around it.
I see, it does indeed, thank you very much! Best regards, Bernhard