[Lunar-commits] <moonbase-other> clingo: add more documentation to DOCDIR

[v4hn]

commit a7d1670058021f5c795fd456ae5e02c9464bef28
Author: v4hn <me at v4hn.de>
Date: Fri, 17 Jan 2014 17:53:30 -0800
URL: https://github.com/lunar-linux/moonbase-other/commit/a7d1670058021f5c795fd456ae5e02c9464bef28

clingo: add more documentation to DOCDIR
---
  compilers/clingo/BUILD | +1/-1     
  1 file changed, 1 insertion(+), 1 deletion(-)

--- a/compilers/clingo/BUILD
+++ b/compilers/clingo/BUILD
@@ -1,4 +1,4 @@
 scons -j${MAKES:=1} --build-dir=release $OPTS &&
 prepare_install &&
 install -m755 {build/release,/usr/bin}/clingo &&
-gather_docs NOTES
+gather_docs NOTES examples