genhtml -j isn't supported everywhere currently; update docs

flintlib · Dec 2, 2023 · 9a7f0e1 · 9a7f0e1
1 parent c7d092a
commit 9a7f0e1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/Makefile.in b/Makefile.in
@@ -738,7 +738,7 @@ coverage: | $(BUILD_DIR)/coverage
 # lcov flags when next Ubuntu LTS ships lcov v2.0.0+.
 
 coverage_html: coverage
-	genhtml -j $(NJOBS) $(BUILD_DIR)/coverage/coverage.info --output-directory $(BUILD_DIR)/coverage
+	genhtml $(NJOBS) $(BUILD_DIR)/coverage/coverage.info --output-directory $(BUILD_DIR)/coverage
 endif
 
 ################################################################################

diff --git a/doc/source/building.rst b/doc/source/building.rst
@@ -137,11 +137,10 @@ FLINT with ``--enable-coverage``. Then run:
 .. code-block:: bash
 
     make -j N check
-    make coverage
+    make coverage_html
 
 This will place a coverage report in ``build/coverage``.
 
-
 Static or dynamic library only
 -------------------------------------------------------------------------------