Debian patch tracking system
Makefile | 6 +++++- manual/Makefile | 7 +++++-- 2 files changed, 10 insertions(+), 3 deletions(-)