From a3f4748183623fa0e92381f3e49c29ebcdcbb56e Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Thu, 07 Jul 2011 18:02:55 -0400
Subject: [PATCH] Documentation. Generate properties site page at build time.
---
docs/site_header.html | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/docs/site_header.html b/docs/site_header.html
index 5155220..6365117 100644
--- a/docs/site_header.html
+++ b/docs/site_header.html
@@ -27,6 +27,10 @@
<script type="text/javascript" src="prettify/prettify.js"></script>
<link href="prettify/prettify.css" type="text/css" rel="stylesheet" />
+
+ <!-- Place this tag in your head or just before your close body tag -->
+ <script type="text/javascript" src="https://apis.google.com/js/plusone.js"></script>
+
<!-- ANALYTICS -->
</head>
<body style="width:900px" onload="prettyPrint()">
@@ -36,6 +40,8 @@
<img src="./gitblt_25.png" width="79" height="25" alt="gitblit" class="logo"/>
</a>
<span style="color:black;">{0}</span>
+ <!-- Google Plus One -->
+ <g:plusone></g:plusone>
</div>
<div class="page_nav">{1}</div>
<div class="markdown">
\ No newline at end of file
--
Gitblit v1.9.1