run make for jskeus

jsk-ros-pkg · Dec 3, 2015 · ef6cc92 · ef6cc92
1 parent dad29fa
commit ef6cc92
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/conf.py b/doc/conf.py
@@ -140,7 +140,7 @@
     # euslisp
     if local_name == "jskeus":
         doc_dir=os.path.join('jskeus', 'doc');
-        subprocess.call(['make', 'eus'], cwd='jskeus')
+        subprocess.call(['make'], cwd='jskeus')
         subprocess.call(['make', 'html'], cwd=doc_dir)
         build_dir = os.path.join('_build', 'html', 'jskeus', 'doc', 'html')
         if not os.path.exists(build_dir):