From 854dc5132345b96a804721b378675fdd87c9a542 Mon Sep 17 00:00:00 2001 From: Chris Kipp Date: Fri, 16 Jun 2023 11:03:13 +0200 Subject: [PATCH] refactor: some more scaladoc cleanup (#17967) This gets rid of some more stuff in scaladoc that doesn't seem to be used at all. You can see more details in each individual commit. [Cherry-picked d22d5881b14f757e68558e429f6fbaf06c64508a] --- .gitignore | 4 ++++ scaladoc/.gitignore | 2 -- scaladoc/.scalafmt.conf | 1 - scaladoc/noResultStructure.html | 6 ------ scaladoc/scripts/mk-index.sh | 2 ++ 5 files changed, 6 insertions(+), 9 deletions(-) delete mode 100644 scaladoc/.gitignore delete mode 100644 scaladoc/.scalafmt.conf delete mode 100644 scaladoc/noResultStructure.html diff --git a/.gitignore b/.gitignore index 5240662741bb..f378adb24bc8 100644 --- a/.gitignore +++ b/.gitignore @@ -95,3 +95,7 @@ contributors.js content-contributors.css docs/_spec/_site/ docs/_spec/.jekyll-metadata + +# scaladoc related +scaladoc/output/ + diff --git a/scaladoc/.gitignore b/scaladoc/.gitignore deleted file mode 100644 index 893c4fbd144f..000000000000 --- a/scaladoc/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -# root where we generate documentation -output \ No newline at end of file diff --git a/scaladoc/.scalafmt.conf b/scaladoc/.scalafmt.conf deleted file mode 100644 index 9df0d88b69ce..000000000000 --- a/scaladoc/.scalafmt.conf +++ /dev/null @@ -1 +0,0 @@ -version = "2.6.3" diff --git a/scaladoc/noResultStructure.html b/scaladoc/noResultStructure.html deleted file mode 100644 index 93ef4bbf1396..000000000000 --- a/scaladoc/noResultStructure.html +++ /dev/null @@ -1,6 +0,0 @@ -
- Sick face -

No results match your filter criteria

-

Try adjusting or clearing your filters
to display better result

- -
\ No newline at end of file diff --git a/scaladoc/scripts/mk-index.sh b/scaladoc/scripts/mk-index.sh index e2df5a2e551c..d4d72aec0d84 100755 --- a/scaladoc/scripts/mk-index.sh +++ b/scaladoc/scripts/mk-index.sh @@ -1,5 +1,7 @@ #!/usr/bin/env bash +# NOTE that this file is used in CI + MYDIR="$(dirname "$(readlink -f "$0")")"