configure.ac: make docs, tools conditionally, not by default
-rw-r--r-- 21 .gitignore
drwxr-xr-x - debian
drwxr-xr-x - gentoo
drwxr-xr-x - upstream