[Lunar-commits] <moonbase-other> gringo: gather docs

[v4hn]

commit 5254cdb36039ecb998882f0976a1cb1fd07d3812
Author: v4hn <me at v4hn.de>
Date: Wed, 03 Apr 2013 12:48:52 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/5254cdb36039ecb998882f0976a1cb1fd07d3812

gringo: gather docs
---
  compilers/gringo/BUILD | +2/-1     
  1 file changed, 2 insertions(+), 1 deletion(-)

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