Merge branch 'dev-release-v0.1.1' into dev-release-v0.1.2

Vincent Leclere · Vincent Leclere · commit db45e608cff0 · 2016-05-17T12:32:27.000+02:00
diff --git a/REQUIRE b/REQUIRE
@@ -1,9 +1,6 @@
 julia 0.4
-MathProgBase
-Clp
 Distributions
 JuMP
-FactCheck
 ProgressMeter
 Interpolations
 Iterators
diff --git a/doc/conf.py b/doc/conf.py
@@ -15,7 +15,6 @@
 import sys
 import os
 import sphinx_rtd_theme
-import juliadoc
 
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
@@ -32,7 +31,7 @@
 # ones.
 extensions = [
     'sphinx.ext.coverage',
-    'sphinx.ext.mathjax', 'juliadoc.julia', 'juliadoc.jlhelp'
+    'sphinx.ext.mathjax', 
 ]
 
 # Add any paths that contain templates here, relative to this directory.
diff --git a/test/REQUIRE b/test/REQUIRE
@@ -0,0 +1 @@
+FactCheck
