diff --git a/am/doxygen b/am/doxygen index b85301d97eeadef250187b2282b37e8e08aced06..4e19b190942783cf19e9e19d25baf965eceb4074 100644 --- a/am/doxygen +++ b/am/doxygen @@ -69,7 +69,7 @@ doxygen-html-install: set -e; \ OLDPWD=$$PWD; \ dir=$(abs_srcdir); \ - if test -d $(abs_builddir)/$(DOXYGENTAG); then dir=$(abs_builddir); fi; \ + if test -f $(abs_builddir)/$(DOXYGENTAG); then dir=$(abs_builddir); fi; \ cd "$$dir/html/"; \ list=`echo $(DOXYGENHTMLFILES)`; \ cd "$$OLDPWD"; \