From dc6fad31f426e38ddaf1f961b15140365a80464a Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Fri, 29 Jan 2010 16:27:29 +0000
Subject: [PATCH] for automatic installation use the name docdir

[[Imported from SVN: r5873]]
---
 doc/devel/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/devel/Makefile.am b/doc/devel/Makefile.am
index 6e7a34144..607c1d88d 100644
--- a/doc/devel/Makefile.am
+++ b/doc/devel/Makefile.am
@@ -13,7 +13,7 @@ BASEDIR=../..
 CURDIR=doc/devel
 
 # install the html pages
-develdir=$(datadir)/doc/dune-common/devel
+docdir=$(datadir)/doc/dune-common/devel
 if BUILD_DOCS
 DOCFILES = $(PAGES)
 EXTRA_DIST = $(PAGES)
-- 
GitLab