From 25587995a9b4b1806841f51b2e3bb48d6b1d90cb Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 24 Jan 2003 12:50:56 +0000
Subject: on cree toujours le sous-repertoire tactics/

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3609 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 2275751c04..52d6642e30 100644
--- a/Makefile
+++ b/Makefile
@@ -818,6 +818,7 @@ LIBFILESLIGHT=$(INITVO) $(THEORIESLIGHTVO)
 
 install-library:
 	$(MKDIR) $(FULLCOQLIB)
+	$(MKDIR) $(FULLCOQLIB)/tactics
 	for f in $(LIBFILES); do \
 	  $(MKDIR) $(FULLCOQLIB)/`dirname $$f`; \
 	  cp $$f $(FULLCOQLIB)/`dirname $$f`; \
-- 
cgit v1.2.3