Delete the PID file on exit
tree23aaf91dd1b2c5f2c52386395922a408902e330e
-rw-r--r-- 319 .svnignore
-rw-r--r-- 126 AUTHORS
-rw-r--r-- 15172 COPYING
-rw-r--r-- 69 ChangeLog
-rw-r--r-- 1973 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 425 README
-rwxr-xr-x 2453 bootstrap
-rw-r--r-- 7506 configure.ac
-rw-r--r-- 47557 doxygen.config.in
drwxr-xr-x - src
drwxr-xr-x - tests