formatting

This commit is contained in:
daboe01 committed 2025-06-21 16:32:11 +02:00
1 parent 3fd26e681b
commit aeb982c616
1 file changed
+3 -3
+3 -3
View File
@@ -119,19 +119,19 @@ $DOCUMENTATION_BUILD = path.join($BUILD_DIR, "Documentation");
task ("docs", ["documentation"]);
task ("documentation", function()
{
{
generateDocs(false);
});
task ("docs-no-frame", ["documentation-no-frame"]);
task ("documentation-no-frame", function()
{
{
generateDocs(true);
});
task ("docset", function()
{
{
generateDocs(true);
var documentationDir = path.resolve("Tools", "Documentation");
var docsetShell = path.join(documentationDir, "support", "docset.sh");