Merge pull request #46 from fraya/hide-toc

doc: Hide ToC

Author: fraya

.github/workflows/build-and-check-documentation.yml

@@ -9,10 +9,6 @@ on:
   # This enables the Run Workflow button on the Actions tab.
   workflow_dispatch:
 
-# https://github.com/JamesIves/github-pages-deploy-action#readme
-permissions:
-    contents: write
-
 # Set DYLAN environment variable to GITHUB_WORKSPACE so packages are
 # installed in ../../_packages relative to documentation's Makefile
 env:
@@ -46,11 +42,3 @@ jobs:
         with:
           name: command-line-parser
           path: documentation/build/html/
-
-      - name: Bypassing Jekyll on GH Pages
-        run: sudo touch documentation/build/html/.nojekyll
-
-      - name: Deploy docs to GH pages
-        uses: JamesIves/github-pages-deploy-action@v4
-        with:
-          folder: documentation/build/html

documentation/source/index.rst

@@ -6,7 +6,7 @@ command-line-parser
 .. current-module:: command-line-parser
 
 .. toctree::
-
+   :hidden:
 
 The *command-line-parser* library provides a facility to parse the
 command line.  It exports two modules: