diff options
Diffstat (limited to 'gnome-doc-utils.m4')
-rw-r--r-- | gnome-doc-utils.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnome-doc-utils.m4 b/gnome-doc-utils.m4 index add2b6c..301763d 100644 --- a/gnome-doc-utils.m4 +++ b/gnome-doc-utils.m4 @@ -47,7 +47,7 @@ else cp $gdumk gnome-doc-utils.make fi fi -if ! grep -q 'gnome-doc-utils\.make' $ac_top_srcdir/Makefile.am; then +if ! grep 'gnome-doc-utils\.make' $ac_top_srcdir/Makefile.am >/dev/null; then echo gnome-doc-utils.make should be added to EXTRA_DIST in Makefile.am fi ]) |