From d03a0d8de4b5bf2c126f22332345251ac668b816 Mon Sep 17 00:00:00 2001
From: benson1029 <yeungmantsung@gmail.com>
Date: Wed, 17 Apr 2024 17:16:25 +0800
Subject: [PATCH] Remove sidebar for project report

---
 docs/docs/project-report/report.md | 4 ----
 docs/docusaurus.config.ts          | 4 ++--
 docs/sidebars.ts                   | 2 --
 3 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/docs/docs/project-report/report.md b/docs/docs/project-report/report.md
index 859e352..b96bf87 100644
--- 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
index f55c875..66705b7 100644
--- 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
index 5f9bbc4..bdc1b66 100644
--- 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;