3
# currently scrollkeeper-update does not seem to
4
# remove its database when there is no useful
5
# information contained there. Therefore, with
6
# "make uninstall" you're left with loads of
7
# stuff in /var/scrollkeeper and distcheck
10
# http://mail.gnome.org/archives/gnome-doc-list/2003-May/msg00008.html
12
# This overrides the uninstall check so distcheck
15
# distuninstallcheck_listfiles = find . -type f -print | grep -v 'scrollkeeper' | grep -v 'omf' | grep -v 'figures'
19
distcleancheck_listfiles = find . -type f -print | grep -v 'omf\.out' | grep -v 'legal.xml'