Update javadoc header-fix script

realm · Jul 25, 2023 · 4644b87 · 4644b87
1 parent b426fc6
commit 4644b87
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 3 deletions.
diff --git a/tools/fix-h1s.sh b/tools/fix-h1s.sh
@@ -1,7 +1,18 @@
 #!/bin/bash -ex
 
-# Assume javadoc has been run
-pushd "`dirname "$0"`"/../docs/html
+usage() {
+cat <<EOF
+Usage: $0 <javadoc-root-dir>
+EOF
+}
+
+if [ "$#" -ne 1 ] ; then
+ usage
+ exit 1
+fi
+
+# Assume Dokka has been run
+pushd $1
 
 find . -name "*.html" | while read ln
 do

diff --git a/tools/publish_release.sh b/tools/publish_release.sh
@@ -106,7 +106,7 @@ create_javadoc() {
  echo "Creating JavaDoc..."
  cd $REALM_JAVA_PATH
  eval "./gradlew javadoc $GRADLE_BUILD_PARAMS --stacktrace" 
- eval "./tools/fix-h1s.sh"
+ eval "./tools/fix-h1s.sh realm/realm-library/build/docs/javadoc/"
  cd $HERE
 }