# Description: do not run make in the doc directory
# Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=695715
# Author: Serafeim Zanikolas
# Last-Update: 2012-12-12
--- a/Makefile.in
+++ b/Makefile.in
@@ -734,7 +734,7 @@
 top_builddir = @top_builddir@
 top_srcdir = @top_srcdir@
 ACLOCAL_AMFLAGS = -I m4
-SUBDIRS = gnu src elisp po doc tests
+SUBDIRS = gnu src elisp po tests
 EXTRA_DIST = ChangeLog.2007
 
 # Define the following variables in order to use the ChangeLog rule below:
