Rename database section to documentation

2024-04-26 13:50:28 -06:00
1 parent ead93d07e2
commit 91c2ddc8e9
@@ -4,8 +4,8 @@
 - title: About the Project
  url: about

- title: Database and Documentation
-  url: database
+- title: Documentation
+  url: documentation

 - title: Publications
  url: publications