Updated footer

coq-io · Nov 22, 2015 · 184c452 · 184c452
1 parent 1e0530d
commit 184c452
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extraction/html/get_started.html b/extraction/html/get_started.html
@@ -99,7 +99,7 @@ <h3>Coq beta</h3>
       <hr/>
       <div class="footer">
         <p class="text-center">
-          <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>.</small>
+          <small>Website <a href="https://github.com/coq-io/opam-website">written</a> and verified in Coq.</small>
         </p>
       </div>
     </div>