diff options
| author | Vincent Untz <vuntz@gnome.org> | 2005-10-03 08:24:11 +0000 |
|---|---|---|
| committer | Vincent Untz <vuntz@src.gnome.org> | 2005-10-03 08:24:11 +0000 |
| commit | ff4d6338dc36ac743824f3a0b78085ec5b851721 (patch) | |
| tree | 74c4500d20c23ee188f7d7c1e583f96383469e16 /Makefile.am | |
| parent | cbcd62702481869b2303dec08b2256450d88e4ab (diff) | |
| download | gnome-desktop-ff4d6338dc36ac743824f3a0b78085ec5b851721.tar.gz | |
remove scrollkeeper hack. Thanks gnome-doc-utils!
2005-10-03 Vincent Untz <vuntz@gnome.org>
* Makefile.am: remove scrollkeeper hack. Thanks gnome-doc-utils!
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 1f8cf1c9..e8d8cace 100644 --- a/Makefile.am +++ b/Makefile.am @@ -22,8 +22,7 @@ versiondir=$(datadir)/gnome-about version_DATA=gnome-version.xml @INTLTOOL_XML_RULE@ -# ignore scrollkeeper files, which will legitimately exist after uninstall. -distuninstallcheck_listfiles = find . -type f -print | grep -v scrollkeeper | grep -v omf +DISTCHECK_CONFIGURE_FLAGS = --disable-scrollkeeper CLEANFILES = $(version_DATA) DISTCLEANFILES = \ |