+
+# Because distuninstallcheck expects relative filenames, we cannot
+# replace './' with $(prefix) in _listfiles. Therefore we do it the
+# other way around to filter out configuration files and tones.
+distcheck_CONFIGdir = echo $(CONFIGdir) | sed 's|^$(prefix)/|./|'
+distcheck_SHAREdir = echo $(SHAREdir) | sed 's|^$(prefix)/|./|'
+
+distuninstallcheck_listfiles = find . -type f -print \
+ | $(GREP) -v "$$( $(distcheck_CONFIGdir) )" \
+ | $(GREP) -v "$$( $(distcheck_SHAREdir) )"
+
+