[PPL-devel] ppl/doc Makefile.am fdl.txt gpl.txt