docs: fixing website favicon

hubblo-org · Feb 12, 2024 · 1833a8e · 1833a8e
1 parent eb74855
commit 1833a8e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/docs_src/scaphandre.small.cleaned.ico → docs_src/favicon.ico b/docs_src/scaphandre.small.cleaned.ico → docs_src/favicon.ico
diff --git a/oranda.json b/oranda.json
@@ -7,7 +7,7 @@
     },
     "styles": {
       "theme": "light",
-      "favicon": "docs_src/scaphandre.small.cleaned.ico"
+      "favicon": "docs_src/favicon.ico"
     },
     "marketing": {
       "social": {
@@ -23,7 +23,8 @@
           "cargo_dist": false,
           "package_managers": {
             "preferred": {
-              "crates.io": "cargo install scaphandre"
+              "crates.io": "cargo install scaphandre",
+              "debian package": "dpkg -i scaphandre.X.deb"
             },
             "additional": {
               "binstall": "cargo binstall scaphandre"