rm -f config.cache config.log config.status bk-deps bk-make-pch shared-ld-sh Makefile
htmlprinting$(EXEEXT): $(HTMLPRINTING_OBJECTS) $(__htmlprinting___win32rc)
rm -f config.cache config.log config.status bk-deps bk-make-pch shared-ld-sh Makefile
htmlprinting$(EXEEXT): $(HTMLPRINTING_OBJECTS) $(__htmlprinting___win32rc)