Merge pull request #7153 from TheElectronWill/responsive-docs

Fix lampepfl/dotty-feature-requests#28: make Dottydoc responsive
scala · Sep 19, 2019 · 6eb5404 · 6eb5404
2 parents 0e5b3e8 + 685f906
commit 6eb5404
Show file tree

Hide file tree

Showing 115 changed files with 7,254 additions and 3,549 deletions.
diff --git a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala
@@ -200,6 +200,13 @@ class ScalaSettings extends Settings.SettingGroup {
     "The source repository of your project",
     ""
   )
+
+  val projectLogo: Setting[String] = StringSetting(
+    "-project-logo",
+    "project logo filename",
+    "The file that contains the project's logo (in /images)",
+    ""
+  )
 
   val wikiSyntax: Setting[Boolean] = BooleanSetting("-Xwiki-syntax", "Retains the Scala2 behavior of using Wiki Syntax in Scaladoc")
 }
diff --git a/doc-tool/bootstrap-theme/build.sh b/doc-tool/bootstrap-theme/build.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+cd "$(dirname "$0")"
+npm run build
+echo "Copying css file..."
+cp target/bootstrap.min.css ../resources/css/bootstrap.min.css
+echo "Bootstrap css updated."