Makefile: add an explicit "docs" target to build the man page
-rw-r--r-- 12 .gitignore
-rw-r--r-- 812 Makefile
-rw-r--r-- 237 NEWS
-rw-r--r-- 385 README.txt
-rw-r--r-- 354 TODO
-rw-r--r-- 1624 drin.in
-rw-r--r-- 2276 drin.rst
drwxr-xr-x - libexec