Provide alternate recipe to build docs

As indicated in Unidata#3321, sometimes `make clean html` fails. In those instances, `make cleanall html` may work, so this commit provides that additional information in the Contributor's Guide.
sgdecker · Dec 15, 2023 · 0cdfef7 · 0cdfef7
1 parent 6a9cddc
commit 0cdfef7
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`