diff --git a/how-to/doc-theme.rst b/how-to/doc-theme.rst deleted file mode 100644 index c0f03a5..0000000 --- a/how-to/doc-theme.rst +++ /dev/null @@ -1,12 +0,0 @@ -================================== -Rebuilding the documentation theme -================================== - -The Vanilla theme used in the documentation is based on `vanilla-sphinx-test -`_. All the source files -needed to generate it are in the ``doc/vanilla/`` directory, though for -simplicity the output of building the theme's CSS is currently committed to -git rather than built dynamically. To rebuild it, run the following on at -least Ubuntu 22.04:: - - make -C doc build-css diff --git a/how-to/index.rst b/how-to/index.rst index 27f1a40..adc4062 100644 --- a/how-to/index.rst +++ b/how-to/index.rst @@ -22,7 +22,6 @@ Common development tasks preserve-query-count land-update-for-loggerhead update-configuration-for-testing - doc-theme testing-scripts create-job-publish-artifact