Add a script to generate a contributors list, and use it to make a CO…

…NTRIBUTORS file.
mhils · Mar 19, 2011 · 80e023b · 80e023b
1 parent 5015b1d
commit 80e023b
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -0,0 +1,4 @@
+    179 Aldo Cortesi
+     18 Henrik Nordstrom
+     13 Thomas Roth
+      1 Henrik Nordström
diff --git a/doc-src/_websitelayout.html b/doc-src/_websitelayout.html
@@ -4,9 +4,9 @@
         <h1><a href="@!urlTo("/index.html")!@">mitmproxy</a> </h1>
         <div class="HorizontalNavBar">
             <ul>
-                <li class="inactive"><a href="../index.html">home</a></li>
+                <li class="inactive"><a href="@!urlTo("/index.html")!@">home</a></li>
                 <li class="active"><a href="@!urlTo("doc/index.html")!@">docs</a></li>
-                <li class="inactive"><a href="../development.html">development</a></li>
+                <li class="inactive"><a href="@!urlTo("/about.html")!@">about</a></li>
             </ul>
         </div>
         <br>

diff --git a/scripts/contributors b/scripts/contributors
@@ -0,0 +1,2 @@
+#!/bin/sh
+git log | grep "^Author:" | sed 's/ <.*//; s/^Author: //' | sort | uniq -c | sort -nr