diff options
Diffstat (limited to 'help/devel/Makefile.am')
| -rw-r--r-- | help/devel/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/help/devel/Makefile.am b/help/devel/Makefile.am index 975c17d009..f8597eccf1 100644 --- a/help/devel/Makefile.am +++ b/help/devel/Makefile.am @@ -159,7 +159,6 @@ endif dist-hook: dist-check-gtkdoc dist-hook-local mkdir $(distdir)/html - test -f $(srcdir)/html/index.sgml && cp $(srcdir)/html/index.sgml $(distdir)/html files=`echo $(srcdir)/html/*.html` ; \ test '$(srcdir)/html/*.html' = "$$files" \ || cp $$files $(distdir)/html |