From 9721595bcbf71ef8a477a88828297091911e7ebf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robert=20Kl=C3=B6fkorn?= <robertk@dune-project.org>
Date: Wed, 5 Nov 2008 15:15:07 +0000
Subject: [PATCH] wrong install dir for buildsystem.

[[Imported from SVN: r5342]]
---
 doc/buildsystem/Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/buildsystem/Makefile.am b/doc/buildsystem/Makefile.am
index 440178e5a..6a11ee697 100644
--- a/doc/buildsystem/Makefile.am
+++ b/doc/buildsystem/Makefile.am
@@ -16,8 +16,8 @@ EXTRAINSTALL = buildsystem.pdf
 EXTRA_DIST = $(DOCS)
 
 # install the html pages
-docdir=$(datadir)/doc/buildsystem
-doc_DATA = $(DOCS)
+buildsystemdir=$(datadir)/doc/dune-common/buildsystem
+buildsystem_DATA = $(DOCS)
 
 # include rules for wml -> html transformation
 include $(top_srcdir)/am/webstuff
-- 
GitLab