diff options
| author | James Moger <james.moger@gitblit.com> | 2011-06-09 19:06:09 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2011-06-09 19:06:09 -0400 |
| commit | 81f881a10f2c8456cc4ebfa26327e15655db4646 (patch) | |
| tree | 6cd76c51f4fe6c9b790472f7248855ff5ebe7b46 /docs | |
| parent | f339f5de2ee6d354f55e14e9340bebc4611535b3 (diff) | |
| download | gitblit-81f881a10f2c8456cc4ebfa26327e15655db4646.tar.gz gitblit-81f881a10f2c8456cc4ebfa26327e15655db4646.zip | |
Build script improvements for release management.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/doc_footer.html (renamed from docs/page_footer.html) | 0 | ||||
| -rw-r--r-- | docs/doc_header.html | 39 | ||||
| -rw-r--r-- | docs/site_footer.html | 7 | ||||
| -rw-r--r-- | docs/site_header.html (renamed from docs/page_header.html) | 0 |
4 files changed, 46 insertions, 0 deletions
diff --git a/docs/page_footer.html b/docs/doc_footer.html index e1a57381..e1a57381 100644 --- a/docs/page_footer.html +++ b/docs/doc_footer.html diff --git a/docs/doc_header.html b/docs/doc_header.html new file mode 100644 index 00000000..71ba8415 --- /dev/null +++ b/docs/doc_header.html @@ -0,0 +1,39 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
+<html>
+ <head>
+ <title>Gitblit</title>
+ <link rel="stylesheet" type="text/css" href="./gitblit.css"/>
+ <link rel="stylesheet" type="text/css" href="./markdown.css"/>
+ <link rel="shortcut icon" type="image/png" href="./gitblt-favicon.png" />
+ <meta name="ROBOTS" content="INDEX, NOFOLLOW">
+ <meta http-equiv="imagetoolbar" content="no" />
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <meta name="keywords" content="java git server" />
+
+ <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.4/jquery.min.js"></script>
+ <script>
+ !window.jQuery && document.write('<script src="./fancybox/jquery-1.4.3.min.js"><\/script>');
+ </script>
+ <script type="text/javascript" src="./fancybox/query.mousewheel-3.0.4.pack.js"></script>
+ <script type="text/javascript" src="./fancybox/jquery.fancybox-1.3.4.pack.js"></script>
+ <link rel="stylesheet" type="text/css" href="./fancybox/jquery.fancybox-1.3.4.css" media="screen" />
+
+ <script type="text/javascript" src="./screenshots.js"></script>
+ <style>
+ ul.noBullets '{'
+ list-style: none;
+ '}'
+ </style>
+
+ <script type="text/javascript" src="prettify/prettify.js"></script>
+ <link href="prettify/prettify.css" type="text/css" rel="stylesheet" />
+ </head>
+ <body style="width:900px" onload="prettyPrint()">
+ <div class="page_header">
+ <a title="gitblit homepage" href="http://gitblit.com/">
+ <img src="./gitblt_25.png" width="79" height="25" alt="gitblit" class="logo"/>
+ </a>
+ <span style="color:black;">{0}</span>
+ </div>
+ <div class="page_nav">{1}</div>
+ <div class="markdown">
\ No newline at end of file diff --git a/docs/site_footer.html b/docs/site_footer.html new file mode 100644 index 00000000..e1a57381 --- /dev/null +++ b/docs/site_footer.html @@ -0,0 +1,7 @@ + </div>
+ <div style="margin-top:10px" class="page_footer">
+ <div style="float:right;">{0}</div>
+ The content of this page is licensed under the <a href="http://creativecommons.org/licenses/by/3.0">Creative Commons Attribution 3.0 License</a>.
+ </div>
+</body>
+</html>
\ No newline at end of file diff --git a/docs/page_header.html b/docs/site_header.html index 7b8f63d5..7b8f63d5 100644 --- a/docs/page_header.html +++ b/docs/site_header.html |