Minor polishing

kovzol · kovzol · commit 0069549c790d · 2025-06-03T14:20:56.000+02:00
diff --git a/build.gradle b/build.gradle
@@ -119,7 +119,7 @@ distributions {
     main {
         distributionBaseName = 'jgex'
         contents {
-            into("bin") { from 'src/docs'}
+            into("bin") { from 'src/main/resources/docs'}
         }
     }
 }
diff --git a/src/index.html b/src/index.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
     <meta charset="utf-8" />
-    <title>CheerpJ test</title>
+    <title>JGEX (CheerpJ version)</title>
     <script src="https://cjrtnc.leaningtech.com/4.1/loader.js"></script>
 </head>
 <body>
@@ -12,6 +12,7 @@
         await cheerpjInit({ version: 11 , enableDebug: true});
         cheerpjCreateDisplay(1400, 800);
         await cheerpjRunJar("/app/Java-Geometry-Expert-0.86.jar");
+        <!-- TODO: Change the version number by copying it from the Java source dynamically. -->
     })();
 </script>
 </body>

Original file line number	Diff line number	Diff line change
`@@ -119,7 +119,7 @@ distributions {`
`119`	`119`	`main {`
`120`	`120`	`distributionBaseName = 'jgex'`
`121`	`121`	`contents {`
`122`		`- into("bin") { from 'src/docs'}`
	`122`	`+ into("bin") { from 'src/main/resources/docs'}`
`123`	`123`	`}`
`124`	`124`	`}`
`125`	`125`	`}`