Added --file-source option. Updated manual
treebdc7975605812ae7533176b4a3a683e817356037
-rwxr-xr-x 2870 regtest_signduterre.makefile
-rwxr-xr-x 70550 signduterre.py