# HG changeset patch
# User Rafael Laboissiere <rafael@debian.org>
# Date 1245904589 -7200
# Node ID ec3e4825350302aab209aae109bd09e5e6d269e8
# Parent  e1695d65a5ca24cff9bdb1d765daf02d39be562c
Drop conf.texi as prerequisite of dist target

diff -r e1695d65a5ca -r ec3e48253503 doc/ChangeLog
--- a/doc/ChangeLog	Thu Jun 25 06:36:24 2009 +0200
+++ b/doc/ChangeLog	Thu Jun 25 06:36:29 2009 +0200
@@ -1,3 +1,7 @@
+2009-06-24  Rafael Laboissiere  <rafael@debian.org>
+
+	* Makefile.in (dist): Drop conf.texi as prerequisite.
+
 2009-06-16  Jaroslav Hajek  <highegg@gmail.com>
 
 	* interpreter/tips.txi: Update.
diff -r e1695d65a5ca -r ec3e48253503 doc/Makefile.in
--- a/doc/Makefile.in	Thu Jun 25 06:36:24 2009 +0200
+++ b/doc/Makefile.in	Thu Jun 25 06:36:29 2009 +0200
@@ -59,7 +59,7 @@
 maintainer-clean::
 	rm -f tags TAGS Makefile
 
-dist: conf.texi
+dist:
 	ln $(DISTFILES) ../`cat ../.fname`/doc
 	for dir in $(DISTSUBDIRS); do mkdir ../`cat ../.fname`/doc/$$dir; $(MAKE) -C $$dir $@; done
 .PHONY: dist