Cosmetic

Author: clarus

src/View.v

@@ -32,6 +32,9 @@ Definition header : LString.t :=
         <div class=""navbar-header"">
           <a class=""navbar-brand"" href=""."">Coq OPAM</a>
         </div>
+        <div id=""navbar"" class=""collapse navbar-collapse"">
+          <p class=""navbar-text navbar-right""><a class=""navbar-link"" href=""https://github.com/coq/opam-coq-archive"">github.com/coq/opam-coq-archive</a></p>
+        </div>
       </div>
       <div class=""row"">
         <div class=""col-md-12"">
@@ -45,7 +48,7 @@ Definition footer : LString.t :=
       <hr/>
       <div class=""footer"">
         <p class=""text-center"">
-          <small>This website was generated by a <a href=""https://github.com/clarus/coq-opam-website"">script</a> written and verified in Coq. © Guillaume Claret</small>
+          <small>Sources are on <a href=""https://github.com/coq-io/opam-website"">GitHub</a>. Proudly powered by <a href=""http://coq.io/"">Coq.io</a>. © Guillaume Claret</small>
         </p>
       </div>
     </div>
@@ -61,10 +64,10 @@ Module Index.
     LString.s "          <h1>" ++ LString.of_N 10 10 None nb_packages ++
     LString.s " packages <small>" ++ LString.of_N 10 10 None nb_versions ++
     LString.s " versions</small></h1>
-        <p>Activate the Coq OPAM repository:</p>
-        <pre>opam repo add coq-released https://coq.inria.fr/opam/released</pre>
-        <p>Install a package:</p>
-        <pre>opam install -j4 package</pre>
+          <p><a href=""http://opam.ocaml.org/"">OPAM</a> is the most popular package manager for the <a href=""https://coq.inria.fr/"">Coq</a> community.</p>
+          <p>Activate the Coq repository:</p>
+          <pre>opam repo add coq-released https://coq.inria.fr/opam/released</pre>
+          <p>You can read this <a href=""http://coq-blog.clarus.me/make-a-coq-package.html"">tutorial</a> to make your own packages.</p>
   ".
 
   (** A row in the table of packages. *)