Cleanup doc, add instructions for setting up a local run.

[gigi.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
deleted file mode 100644 (file)
index bd4647f..0000000
--- a/doc/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-jetty.crt
-jetty.csr
-jetty.key