Remove src/ctrl from configure.
[poldi.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 1670 ChangeLog
-rw-r--r-- 808 Makefile.am
-rw-r--r-- 18466 gpl.texi
-rwxr-xr-x 5631 mdate-sh
-rw-r--r-- 22769 poldi.texi
-rw-r--r-- 284143 texinfo.tex