PPS: add utility "ppsldisc". The new "ppsldisc" utility replaces the obsolete "ppsctl". Signed-off-by: Rodolfo Giometti Documentation/pps/Makefile Documentation/pps/ppsctl.c Documentation/pps/ppsldisc.c URL: http://gitweb.enneenne.com/?p=linuxpps;a=commit;h=68b9d332199fe8492bace579393d30a2ad7cd23b