summaryrefslogtreecommitdiff
path: root/docs/Writerside/cfg/buildprofiles.xml
diff options
context:
space:
mode:
authorcyan <cyjan@mrcyjanek.net>2024-10-21 11:30:40 +0200
committerGitHub <noreply@github.com>2024-10-21 11:30:40 +0200
commitd54c9023bdf089489468d86b3aedd017e8973252 (patch)
tree39d96db065dfb35cd995968ee21bff00ea836a99 /docs/Writerside/cfg/buildprofiles.xml
parentf956f6b78164412c60ba6e7e368afc17635ae7ce (diff)
parentd04dcf67ec042fca76b48ffc09ea9d2ea4b5106e (diff)
Merge branch 'master' into ledgerledger
Diffstat (limited to 'docs/Writerside/cfg/buildprofiles.xml')
-rw-r--r--docs/Writerside/cfg/buildprofiles.xml13
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/Writerside/cfg/buildprofiles.xml b/docs/Writerside/cfg/buildprofiles.xml
new file mode 100644
index 0000000..332e47b
--- /dev/null
+++ b/docs/Writerside/cfg/buildprofiles.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE buildprofiles SYSTEM "https://resources.jetbrains.com/writerside/1.0/build-profiles.dtd">
+<buildprofiles xsi:noNamespaceSchemaLocation="https://resources.jetbrains.com/writerside/1.0/build-profiles.xsd"
+ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
+
+ <variables></variables>
+ <build-profile instance="in">
+ <variables>
+ <noindex-content>true</noindex-content>
+ </variables>
+ </build-profile>
+
+</buildprofiles>