Remove sidebar for project report

benson1029 · Apr 17, 2024 · d03a0d8 · d03a0d8
1 parent 9b705bf
commit d03a0d8
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 8 deletions.
diff --git a/docs/docs/project-report/report.md b/docs/docs/project-report/report.md
@@ -1,7 +1,3 @@
----
-sidebar_position: 1
----
-
 # CS4215 Project Report
 
 **Title**: Explicit-control evaluator (ECE) for Go

diff --git a/docs/docusaurus.config.ts b/docs/docusaurus.config.ts
@@ -64,8 +64,8 @@ const config: Config = {
           label: 'Language Specification',
         },
         {
-          type: 'docSidebar',
-          sidebarId: 'reportSidebar',
+          type: 'doc',
+          docId: 'project-report/report',
           position: 'left',
           label: 'Project Report',
         },

diff --git a/docs/sidebars.ts b/docs/sidebars.ts
@@ -12,8 +12,6 @@ import type {SidebarsConfig} from '@docusaurus/plugin-content-docs';
  */
 const sidebars: SidebarsConfig = {
   specSidebar: [{type: 'autogenerated', dirName: 'language-spec'}],
-  reportSidebar: [{type: 'autogenerated', dirName: 'project-report'}],
-  notesSidebar: [{type: 'autogenerated', dirName: 'developer-notes'}],
 };
 
 export default sidebars;