Updated examples and added a --manual-make option to check them
tree8fa9f0704020e5da60614b44b4ed532ab8506a16
-rwxr-xr-x 2876 regtest_signduterre.makefile
-rwxr-xr-x 53187 signduterre.py