#!/bin/sh
# @(#) - rmvman 1.1 - remove man page
# @(#) $Id: rmvman,v 1.1 1994/10/18 08:52:29 nm4 Exp $
#
# Bob Denny - Mon Sep 16 17:22:56 1991
#
# Removes man page(s), gets those that do or do not end in ".z".
# Needed for A/UX pre-formatted man page system.
#

for i in $* ; do
	echo "rm -f $i `echo $i | sed 's/\(.*\)\.z$/\1/`"
	rm -f $i `echo $i | sed 's/\(.*\)\.z$/\1/`
done

exit 0
