diff --git a/doc/doxygen-extra-pages/building/index.md b/doc/doxygen-extra-pages/building/index.md deleted file mode 100644 index b93611958..000000000 --- a/doc/doxygen-extra-pages/building/index.md +++ /dev/null @@ -1 +0,0 @@ -\page building Building \ No newline at end of file diff --git a/doc/doxygen-extra-pages/developer_documentation/index.md b/doc/doxygen-extra-pages/developer_documentation/index.md index 9df074f9d..f1e11b710 100644 --- a/doc/doxygen-extra-pages/developer_documentation/index.md +++ b/doc/doxygen-extra-pages/developer_documentation/index.md @@ -1,4 +1,3 @@ \page developer_reference Developer Reference -- [Building](@subpage building) - [Contributing](@subpage contributing)