Apply @Steve suggestions

ocaml-dune · May 13, 2024 · 9f5d653 · 9f5d653
1 parent 24b7bbb
commit 9f5d653
Show file tree

Hide file tree

Showing 2 changed files with 46 additions and 53 deletions.
diff --git a/index.html b/index.html
@@ -1,16 +1,13 @@
 <!DOCTYPE html>
 <html>
-
 <head>
-
+    
     <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=no">
     <meta charset="utf-8">
     <meta property="og:type" content="article">
-    <link rel="stylesheet"
-        href="https://fonts.googleapis.com/css2?family=Material+Symbols+Outlined:opsz,wght,FILL,[email protected],100..700,0..1,-50..200" />
+    <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Material+Symbols+Outlined:opsz,wght,FILL,[email protected],100..700,0..1,-50..200" />
     <style>
         @import url(https://fonts.googleapis.com/css?family=Roboto:300,300i,400,400i,500,500i|Source+Code+Pro:300,400,500|Source+Sans+Pro:300,300i,400,400i,600,600i|Source+Serif+Pro&subset=latin-ext);
-
         html[lang^=ja] main {
             font-family: -apple-system, BlinkMacSystemFont, Segoe UI, Helvetica Neue, Helvetica, Roboto, Arial, Hiragino Kaku Gothic Pro, ヒラギノ角ゴ Pro W3, Osaka, Meiryo, メイリオ, MS Gothic, ＭＳ ゴシック, sans-serif, Apple Color Emoji, Segoe UI Emoji, Segoe UI Symbol
         }
@@ -85,14 +82,14 @@
             padding-left: 2rem;
         }
 
-        li.task-list-item {
+        li.task-list-item{
             list-style-type: none;
         }
 
-        input.task-list-item-checkbox {
+        input.task-list-item-checkbox{
             float: left;
             margin: .31em 0 .2em -1.3em !important;
-            vertical-align: middle;
+            vertical-align: middle;   
         }
 
         main {
@@ -155,7 +152,7 @@
             padding: 15px;
         }
 
-        hr {
+        hr{
             margin: 24px 0px;
             height: .25rem;
             background-color: var(--hr-color);
@@ -174,32 +171,32 @@
             padding: 0 1rem;
         }
 
-        span.blockquoteX {
+        span.blockquoteX{
             display: block;
             font-size: 80%;
         }
 
-        span.blockquoteX::before {
+        span.blockquoteX::before{
             content: '\2014 \00A0';
         }
 
         span.material-symbols-outlined {
             font-variation-settings:
-                'FILL' 0,
-                'wght' 400,
-                'GRAD' 0,
-                'opsz' 48;
+            'FILL' 0,
+            'wght' 400,
+            'GRAD' 0,
+            'opsz' 48;
             font-size: 1rem;
             margin: 3px 5px;
             vertical-align: bottom;
         }
 
-        span.material-symbols-outlined-fill {
+        span.material-symbols-outlined-fill{
             font-variation-settings:
-                'FILL' 1,
-                'wght' 400,
-                'GRAD' 0,
-                'opsz' 48;
+            'FILL' 1,
+            'wght' 400,
+            'GRAD' 0,
+            'opsz' 48;
         }
 
         table {
@@ -238,16 +235,16 @@
             line-height: 1.45;
         }
 
-        code {
+        code{
             padding: .2em;
             margin: 0;
             font-size: 85%;
             border-radius: 3px;
             background-color: var(--body-background);
-            font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
+            font-family: Menlo,Monaco,Consolas,"Courier New",monospace;
         }
 
-        dl dt {
+        dl dt{
             padding: 0;
             margin-top: 16px;
             font-style: italic;
@@ -286,23 +283,23 @@
         }
 
         /*---embed---*/
-        embed {
-            overflow: auto;
-            width: 100%;
+        embed{
+            overflow: auto; 
+            width: 100%; 
             height: 400px;
         }
 
-        iframe {
+        iframe{
             margin: 10px auto;
-            width: 100%;
+            width: 100%; 
             height: 480px;
         }
-
-        .gist table tr {
+        
+        .gist table tr{
             border: 0px;
         }
 
-        .gist table td {
+        .gist table td{
             border: 0px;
         }
 
@@ -609,19 +606,16 @@
 <body>
     <main>
         <h2 id="dune-distribution-binaries" tabindex="-1">Dune distribution binaries</h2>
-        <h3 id="binaries-(toolchains-version)" tabindex="-1">Binaries (toolchains version)</h3>
-        <ul>
-            <li><a href="binaries/dune-x86_64-apple-darwin.tar.gz">dune-x86_64-apple-darwin.tar.gz</a></li>
-            <li><a href="binaries/dune-aarch64-apple-darwin.tar.gz">dune-aarch64-apple-darwin.tar.gz</a></li>
-            <li><a href="binaries/dune-x86_64-unknown-linux-gnu.tar.gz">dune-x86_64-unknown-linux-gnu.tar.gz</a></li>
-        </ul>
-        <p>After downloaded and extracted in <code>~/Downloads</code> directory you could use those commands to install
-            it.</p>
-<pre><code>$ chmod u+x ~/Dowloads/dune
-$ sudo mv ~/Downloads/dune /user/local/bin/dune
-</code>
-</pre>
-        <p>Feel free to move the executable where you want !</p>
+<h3 id="binaries-(dune-developer-preview-2024-05-07)" tabindex="-1">Binaries (Dune Developer Preview 2024-05-07)</h3>
+<ul>
+<li><a href="binaries/dune-x86_64-apple-darwin.tar.gz">dune-x86_64-apple-darwin.tar.gz</a></li>
+<li><a href="binaries/dune-aarch64-apple-darwin.tar.gz">dune-aarch64-apple-darwin.tar.gz</a></li>
+<li><a href="binaries/dune-x86_64-unknown-linux-gnu.tar.gz">dune-x86_64-unknown-linux-gnu.tar.gz</a></li>
+</ul>
+<p>After downloaded and extracted, you could use the command below to install it.</p>
+<pre><code>$ sudo mv dune /user/local/bin/dune
+</code></pre>
+<p>Feel free to move the executable wherever you want!</p>
 
     </main>
     <script defer data-domain="dune.ci.dev" src="https://plausible.ci.dev/js/script.file-downloads.js"></script>
@@ -649,13 +643,13 @@ <h3 id="binaries-(toolchains-version)" tabindex="-1">Binaries (toolchains versio
     <!--Abc-->
     <script src="https://cdnjs.cloudflare.com/ajax/libs/abcjs/6.1.9/abcjs-basic-min.min.js"></script>
     <script>
-        mermaid.init({noteMargin: 10}, document.querySelectorAll(".language-mermaid"));
-        mermaid.initialize({startOnLoad: true});
+        mermaid.init({ noteMargin: 10 }, document.querySelectorAll(".language-mermaid"));
+        mermaid.initialize({ startOnLoad: true });
         document.querySelectorAll(".language-sequence")?.forEach((dom, i) => {
             dom.id = `sequence-${i}`;
             let content = dom.textContent;
             dom.textContent = "";
-            Diagram.parse(content).drawSVG(dom.id, {theme: 'simple'});
+            Diagram.parse(content).drawSVG(dom.id, { theme: 'simple' });
         });
         document.querySelectorAll(".language-flow")?.forEach((dom, i) => {
             dom.id = `flow-${i}`;
@@ -742,4 +736,4 @@ <h3 id="binaries-(toolchains-version)" tabindex="-1">Binaries (toolchains versio
     </script>
 </body>
 
-</html>
+</html>
diff --git a/index.md b/index.md
@@ -1,14 +1,13 @@
 ## Dune distribution binaries
 
-### Binaries (toolchains version)
+### Binaries (Dune Developer Preview 2024-05-07)
 - [dune-x86_64-apple-darwin.tar.gz](binaries/dune-x86_64-apple-darwin.tar.gz)
 - [dune-aarch64-apple-darwin.tar.gz](binaries/dune-aarch64-apple-darwin.tar.gz)
 - [dune-x86_64-unknown-linux-gnu.tar.gz](binaries/dune-x86_64-unknown-linux-gnu.tar.gz)
 
-After downloaded and extracted in `~/Downloads` directory you could use those commands to install it.
+After downloaded and extracted, you could use the command below to install it.
 
 ```
-$ chmod u+x ~/Dowloads/dune
-$ sudo mv ~/Downloads/dune /user/local/bin/dune
+$ sudo mv dune /user/local/bin/dune
 ``` 
-Feel free to move the executable where you want !
+Feel free to move the executable wherever you want!