master
Use single-colon rules in makefiles
Fix build with -DDEBUG option
Rewrite not-yet-covered dejagnu tests in Python
move generated dependencies out of Makefile.in
Adjust most C source files to match the new standards for copyright and license comments.