From c1fcbb16596df541b66b897d93d27c5612c2bfbd Mon Sep 17 00:00:00 2001 From: mfahampshire Date: Tue, 6 Feb 2024 16:23:49 +0100 Subject: [PATCH] cleanedup gitignore --- documentation/docs/.gitignore | 18 +++--------------- documentation/docs/book.toml | 4 ++-- 2 files changed, 5 insertions(+), 17 deletions(-) diff --git a/documentation/docs/.gitignore b/documentation/docs/.gitignore index e84b38bdfb..757b40bb8d 100644 --- a/documentation/docs/.gitignore +++ b/documentation/docs/.gitignore @@ -1,27 +1,15 @@ # mdbook files -book -book/* -theme/index.hbs -theme/pagetoc.css -theme/pagetoc.js -theme/* -theme +book/ +theme/ -# --------------- # Compiled assets -# --------------- .sass-cache _site -# ---------- # Developing -# ---------- todo.md -.vscode +.idea # OSX .DS_Store -theme/ -theme -theme/* diff --git a/documentation/docs/book.toml b/documentation/docs/book.toml index c0d224b072..d436715f23 100644 --- a/documentation/docs/book.toml +++ b/documentation/docs/book.toml @@ -49,7 +49,7 @@ extra-watch-dirs = [] # directories to watch for triggering builds ########## [output.html] -theme = "theme" # this is the default if not explicitly set +#theme = "theme" # this is the default if not explicitly set default-theme = "coal" preferred-dark-theme = "coal" curly-quotes = true @@ -74,7 +74,7 @@ level = 0 # the depth to start folding editable = false # allows editing the source code copyable = true # include the copy button for copying code snippets copy-js = true # includes the JavaScript for the code editor -line-numbers = false # displays line numbers for editable code +line-numbers = true # displays line numbers for editable code runnable = true # displays a run button for rust code # options for the built in text search