Some fixes for distclean.

diff --git a/doc/html/Makefile.am b/doc/html/Makefile.am
index e233fc7d28f8053eec8ead597c61fd009c504269..a51decbc30a950b7b465e43e116b38677f3a80e7 100644 (file)
--- a/doc/html/Makefile.am
+++ b/doc/html/Makefile.am
@@ -4,8 +4,9 @@
 
 SUBDIRS = images .
 DOC_FILES = encoding.html
+DOC_FILES_PREFIXED := $(addprefix $(srcdir)/, $(DOC_FILES))
 ALL_HTML_FILES := $(wildcard $(srcdir)/*.html)
-GENERATED_DOC_FILES = $(filter-out $(DOC_FILES), $(ALL_HTML_FILES))
+GENERATED_DOC_FILES := $(filter-out $(DOC_FILES_PREFIXED), $(ALL_HTML_FILES))
 GENERATED_EXTRA_FILES = doxygen.css doxygen.png
 
 EXTRA_DIST = $(ALL_HTML_FILES) $(GENERATED_EXTRA_FILES)