#!/bin/bash

docdir=$HOME/.plucker/workdocs

for this in `cat $docdir/filelist`
do
	name=$docdir/`basename $this ".doc"`
	rm -f $name*
done

