From 915bfaed0226ca82c71c1234a914d1872851d258 Mon Sep 17 00:00:00 2001 From: Aleks <152979255+a1eksb@users.noreply.github.com> Date: Fri, 12 Jul 2024 09:55:17 +0200 Subject: [PATCH] [ DOC ]: Add dev docs and .pages --- .gitignore | 3 ++- docs/docs/.pages | 5 +++++ docs/docs/dev_notes/index.md | 6 ++++++ 3 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 docs/docs/.pages create mode 100644 docs/docs/dev_notes/index.md diff --git a/.gitignore b/.gitignore index 1395f05..30fca79 100644 --- a/.gitignore +++ b/.gitignore @@ -12,4 +12,5 @@ docs/docs/* !docs/docs/docs/ !docs/docs/stylesheets/ !docs/docs/index.md -!docs/dev_notes/ \ No newline at end of file +!docs/docs/.pages +!docs/docs/dev_notes/ \ No newline at end of file diff --git a/docs/docs/.pages b/docs/docs/.pages new file mode 100644 index 0000000..8521eba --- /dev/null +++ b/docs/docs/.pages @@ -0,0 +1,5 @@ +nav: + - index.md + - dev_notes + - ... + - Mkdocs: docs \ No newline at end of file diff --git a/docs/docs/dev_notes/index.md b/docs/docs/dev_notes/index.md new file mode 100644 index 0000000..1b94458 --- /dev/null +++ b/docs/docs/dev_notes/index.md @@ -0,0 +1,6 @@ +--- +title: Dev Notes +--- + +# Dev Notes +The dev notes encompass a comprehensive collection of code snippets, command references and issue resolution notes. They can be used for easy command lookup as well as for troubleshooting various dev issues. These notes are specific to the NEXUS dev team.