diff options
Diffstat (limited to 'Writerside/md.tree')
| -rw-r--r-- | Writerside/md.tree | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Writerside/md.tree b/Writerside/md.tree new file mode 100644 index 0000000..d77dee5 --- /dev/null +++ b/Writerside/md.tree @@ -0,0 +1,12 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE instance-profile + SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd"> + +<instance-profile id="md" + name="Molehunt Docs" + start-page="introduction.md"> + + <toc-element topic="introduction.md"/> + <toc-element topic="configuration.md"/> + <toc-element topic="usage.md"/> +</instance-profile>
\ No newline at end of file |
