#!/bin/csh
echo "%files"
foreach f (`find /usr/doc/twelf -type f -print`)
echo "%doc $f"
end
echo "/usr/bin/twelf-server"
foreach f (`find /usr/share/twelf -type f -print`)
  echo $f
end