From bcc03886157a0614d59dfd15ff4aead596381897 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Fri, 1 Oct 2010 12:54:54 +0000
Subject: [PATCH] Added Appli as installed directory.

---
 src/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile.am b/src/Makefile.am
index f2795a9..96ee419 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -45,7 +45,7 @@ SUFFIXES = .v .vo .vd
 install-data-local:
 	@$(NORMAL_INSTALL)
 	@test -z "$(datadir)" || \
-	for p in Core Calc Prop; do \
+	for p in Core Calc Prop Appli; do \
 	  $(MKDIR_P) "$(DESTDIR)$(datadir)/$$p"; \
 	done
 	@list='$(FILES:=o)'; test -n "$(datadir)" || list=; \
-- 
GitLab