Merge pull request #3330 from sgdecker/fix3321

Provide alternate recipe to build docs
Unidata · Dec 15, 2023 · d8e199d · d8e199d
2 parents 6a9cddc + 0cdfef7
commit d8e199d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -210,6 +210,7 @@ Then, still from within your ``devel`` environment,
 
 * Navigate to the docs folder ``cd docs``
 * Remove any old builds and build the current docs ``make clean html``
+  * (Try ``make cleanall html`` if ``make clean html`` fails)
 * Open ``docs/build/html/index.html`` and see your changes!
 
 ### `doc-server.py`