#!/bin/bash

eval target=\${$#}

mkdir -p debian/man
while [ "$2" != "" ]; do
  ./mandoc -Tman $1 > debian/man/$1
  install -m 0444 debian/man/$1 $target
  shift
done
rm -r debian/man
