From 2fa36e9356c7b01167c21c0663148e0063531a5c Mon Sep 17 00:00:00 2001 From: John Goerzen Date: Thu, 30 Nov 2006 12:28:57 +0100 Subject: [PATCH] No longer build manual.ps --- debian/docs | 1 - 1 file changed, 1 deletion(-) diff --git a/debian/docs b/debian/docs index f99cf3d..f8ca208 100644 --- a/debian/docs +++ b/debian/docs @@ -1,5 +1,4 @@ manual.txt -manual.ps manual.pdf manual.html README