Kill a file with 'surf' in its name, and further empty surf_interface.cpp

[simgrid.git] / docs / requirements.txt

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 2d4f477f061733af0a1de2c9202f15386628049c..a98401b567412953fa62abf49da5cc7ea51a333e 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -4,6 +4,5 @@ sphinx_rtd_theme>=0.5.2
 # sphinx_tabs v1.2.1 is required for Sphinx 2
 sphinx_tabs>=1.2.1
 sphinx_copybutton
-javalang
 beautifulsoup4
 lxml