path: root/configure

#!/bin/sh
> config.mk < /dev/null
for i in *.7
do
	printf 'PAGES += %s\n' "$(basename "$i" .7)" >> config.mk
done