From 0953ecc5d73b561ff36c2b70270b45ac3fe4e7af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 13 Feb 2014 02:08:16 +0000 Subject: [PATCH] typo --- packages/ProbLog/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/ProbLog/Makefile.in b/packages/ProbLog/Makefile.in index 2ad2bcd31..b8b53f613 100644 --- a/packages/ProbLog/Makefile.in +++ b/packages/ProbLog/Makefile.in @@ -86,12 +86,12 @@ install: $(PROGRAMS) $(PROBLOG_PROGRAMS) install-examples mkdir -p $(DESTDIR)$(SHAREDIR)/Yap mkdir -p $(DESTDIR)$(SHAREDIR)/Yap/problog mkdir -p $(DESTDIR)$(DOCSDIR) - mkdir -p $(DESTDIR)$(EXDOCSDIR) for p in $(PROGRAMS); do $(INSTALL_DATA) $$p $(DESTDIR)$(SHAREDIR)/Yap; done for p in $(PROBLOG_PROGRAMS); do $(INSTALL_DATA) $$p $(DESTDIR)$(SHAREDIR)/Yap/problog; done $(INSTALL_DATA) $(srcdir)/LICENSE $(DESTDIR)$(DOCSDIR) install-examples: $(PROBLOG_EXAMPLES) + mkdir -p $(DESTDIR)$(EXDOCSDIR) for p in $(PROBLOG_EXAMPLES); do $(INSTALL_DATA) $$p $(DESTDIR)$(EXDOCSDIR); done pdf: $(MANUAL)