# HG changeset patch
# User Rafael Laboissiere <rafael@debian.org>
# Date 1245865556 14400
# Node ID 288d5794eac80e8b719cb54f94454cff1641b61d
# Parent  0f85d95640574876077d3797377429c564079f5a
Drop conf.texi as prerequisite of dist target

diff --git a/doc/ChangeLog b/doc/ChangeLog
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -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 --git a/doc/Makefile.in b/doc/Makefile.in
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -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