From f310014ed961bbcc744bb24f9cd74d836504faa0 Mon Sep 17 00:00:00 2001 From: joy <> Date: Sat, 7 Oct 2000 13:31:28 -0800 Subject: [PATCH] [project @ 2000-10-07 14:31:28 by joy] merged inside debbugsconfig --- debian/debbugs-maketxt | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100755 debian/debbugs-maketxt diff --git a/debian/debbugs-maketxt b/debian/debbugs-maketxt deleted file mode 100755 index cbb6c00a..00000000 --- a/debian/debbugs-maketxt +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh - -set -e - -cwd="`pwd`" -date="`date +'%d %h %Y'`" - -txtconvert () { - src=$1; dst=$2 - echo " generating $dst from $src ..." - rm -f /var/lib/debbugs/www/txt/$dst.html /var/lib/debbugs/www/txt/$dst - perl -ne 'print unless m/^Other pages:$/ .. /^\