docs/Writerside/cfg/buildprofiles.xml@dfc0ddd9571e (annotated)
docs/Writerside/cfg/buildprofiles.xml
Sun, 23 Nov 2025 13:15:19 +0100
- author
- Mike Becker <universe@uap-core.de>
- date
- Sun, 23 Nov 2025 13:15:19 +0100
- changeset 1508
- dfc0ddd9571e
- parent 1253
- 2819ae724034
- permissions
- -rw-r--r--
optimize sorted insertion by using the infimum instead of the supremum
The reason is that the supremum returns the equal element with the smallest index, and we want the largest.
Therefore, we use the infimum, which already gives us the largest index when there are equal elements, and increase the index by one. The infimum is also guaranteed to exist in that case.
|
1140
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
1 | <?xml version="1.0" encoding="UTF-8"?> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
2 | <!DOCTYPE buildprofiles SYSTEM "https://resources.jetbrains.com/writerside/1.0/build-profiles.dtd"> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
3 | <buildprofiles xsi:noNamespaceSchemaLocation="https://resources.jetbrains.com/writerside/1.0/build-profiles.xsd" |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
4 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
5 | <variables> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
6 | <download-title>Download Latest</download-title> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
7 | <download-page>https://sourceforge.net/projects/ucx/files/latest/download</download-page> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
8 | <showDownloadButton>true</showDownloadButton> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
9 | <custom-css>ucx.css</custom-css> |
| 1253 | 10 | <custom-favicons>uap.png</custom-favicons> |
|
1140
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
11 | <primary-color>deep-ocean</primary-color> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
12 | </variables> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
13 | <build-profile instance="ucx"> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
14 | <variables> |
|
1142
9437530176bc
add symbols that need documentation as TODOs
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
15 | <offline-docs>true</offline-docs> |
|
1140
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
16 | <noindex-content>true</noindex-content> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
17 | </variables> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
18 | </build-profile> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
19 | <footer> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
20 | <copyright>2025 Mike Becker, Olaf Wintermann. All rights reserved.</copyright> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
21 | <link href="https://sourceforge.net/projects/ucx/">Source Forge</link> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
22 | <link href="https://uap-core.de/">UAP Core</link> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
23 | <link href="https://unixwork.de/">UNIXwork</link> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
24 | </footer> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
25 | </buildprofiles> |
