joerg ce5a699671 Mark gnuradio packages as not MAKE_JOBS_SAFE. ... Share patches and distinfo, overwrite for gnuradio-howto as the only exception. Fix gnuradio-core-docs to do something useful and mark it as user-destdir ready.		2009-09-11 16:23:28 +00:00
..
DESCR
Makefile	Mark gnuradio packages as not MAKE_JOBS_SAFE.	2009-09-11 16:23:28 +00:00
PLIST	Mark gnuradio packages as not MAKE_JOBS_SAFE.	2009-09-11 16:23:28 +00:00