feat: make leaderboards work

zhudotexe · Feb 20, 2024 · 46e45d8 · 46e45d8
1 parent e7825b2
commit 46e45d8
Show file tree

Hide file tree

Showing 12 changed files with 367 additions and 423 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -21,7 +21,12 @@ preview: html
 clean:
 	rm -rf "$(BUILDDIR)"
 
+leaderboard:
+	cd ../leaderboard; \
+	npm run build; \
+	cp -R dist/. ../docs/_extra/leaderboard;
+
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
-%: Makefile
+%: Makefile leaderboard
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
diff --git a/docs/index.rst b/docs/index.rst
@@ -4,7 +4,7 @@
 .. toctree::
     :maxdepth: 2
 
-    leaderboard
+    Leaderboard <https://fanoutqa.com/leaderboard>
     api_reference
     genindex
     Paper <https://TODO.TODO>

diff --git a/docs/leaderboard.rst b/docs/leaderboard.rst
diff --git a/leaderboard/index.html b/leaderboard/index.html
@@ -1,2 +1,13 @@
-<div id="app"></div>
-<script type="module" src="/src/main.ts"></script>
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="UTF-8">
+    <link rel="icon" href="/favicon.ico">
+    <meta name="viewport" content="width=device-width, initial-scale=1.0">
+    <title>FanOutQA - Leaderboard</title>
+  </head>
+  <body>
+    <div id="app"></div>
+    <script type="module" src="/src/main.ts"></script>
+  </body>
+</html>