README -> add TXT file.

This commit is contained in:
Vítor Santos Costa
2014-03-11 11:24:10 +00:00
parent 2812ad5704
commit b815e64740
7 changed files with 279 additions and 123 deletions

View File

@@ -59,7 +59,7 @@ clean:
rm -f *.o problogbdd
install: default
$(INSTALL_PROGRAM) problogbdd $(DESTDIR)$(BINDIR)/Yap
$(INSTALL_PROGRAM) problogbdd $(DESTDIR)$(BINDIR)
install-examples: