missed doc/Makefile.in when cleaning up extra path separater after DESTDIR