Skip to content

Commit

Permalink
Revert dg json changes
Browse files Browse the repository at this point in the history
  • Loading branch information
EltonGohJH committed May 8, 2024
1 parent d65c649 commit 3c1b990
Showing 1 changed file with 17 additions and 19 deletions.
36 changes: 17 additions & 19 deletions docs/dg-site.json
Original file line number Diff line number Diff line change
Expand Up @@ -6,10 +6,17 @@
},
"pages": [
{
"glob": ["*.md", "devGuide/*.md", "devGuide/*/*.md"]
"glob": [
"*.md",
"devGuide/*.md",
"devGuide/*/*.md"
]
},
{
"src": ["index.md", "devGuide/index.md"],
"src": [
"index.md",
"devGuide/index.md"
],
"searchable": "no"
}
],
Expand All @@ -25,29 +32,20 @@
"*.pptx",
"CNAME"
],
"plugins" : [
"plugins": [
"filterTags",
"mathDelimiters",
"codeBlockWrapButtons",
"web3Form",
"codeBlockCopyButtons",
"dataTable",
"mermaid"
"codeBlockCopyButtons"
],
"pluginsContext" : {
"filterTags" : {
"tags": ["environment--dg"]
},
"mathDelimiters": {
"delimiters": ["beg_end"]
},
"web3Form": {
"accessKey": [""]
"pluginsContext": {
"filterTags": {
"tags": [
"environment--dg"
]
}
},
"deploy": {
"message": "Dev Site Update.",
"repo": "https://github.com/MarkBind/devdocs.git",
"branch": "gh-pages"
}
}
}

0 comments on commit 3c1b990

Please sign in to comment.