Use our own fork for the moment.

Upstream documentation cannot be built with a modern `makeinfo` (see adapteva/epiphany-cgen#2)
carletes · Oct 28, 2014 · 44b5dfa · 44b5dfa
1 parent 248cb13
commit 44b5dfa
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/checkout-cgen.sh b/checkout-cgen.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-cgen_repo="https://github.com/adapteva/epiphany-cgen.git"
+cgen_repo="https://github.com/carletes/epiphany-cgen.git"
 cgen_dir="/vagrant/epiphany-cgen"
 
 if [ ! -d $cgen_dir ] ; then
@@ -14,4 +14,6 @@ chown -R vagrant: $cgen_dir
   make &&
   cd cgen &&
   make desc ARCH=epiphany &&
-  make html ARCH=epiphany)
+  make html ARCH=epiphany &&
+  cd doc &&
+  make html)