Debian patch tracking system
doc/Makefile.in | 8 ++++---- doc/ht.texi | 5 +++-- 2 files changed, 7 insertions(+), 6 deletions(-)