1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
|
From: Y Giridhar Appaji Nag <giridhar@appaji.net>
Date: Tue, 15 Jan 2008 13:01:49 +0530
Subject: Remove google trackers and adjust css to look like online splint
docs.
Description: Remove google trackers and adjust css to look like online
splint docs.
Author: Y Giridhar Appaji Nag <giridhar@appaji.net>
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
---
doc/bugs.html | 12 +-----------
doc/changes.html | 12 +-----------
doc/html/faq.html | 14 ++------------
doc/html/footer.html | 2 +-
doc/html/manual.css | 4 ++--
doc/html/manual.htm | 2 +-
6 files changed, 8 insertions(+), 38 deletions(-)
diff --git a/doc/bugs.html b/doc/bugs.html
index ae0357c..7e90f56 100644
--- a/doc/bugs.html
+++ b/doc/bugs.html
@@ -622,7 +622,7 @@ href="http://www.splint.org/bugs.html">Reporting
Bugs</a> -
<a
href="http://www.splint.org/lists.html">Mailing
-Lists</a> <IMG src="http://sourceforge.net/sflogo.php?group_id=9538" width="0" height="0" alt="">
+Lists</a>
<a
@@ -640,16 +640,6 @@ href="http://www.splint.org/credits.html">Credits</a>
</tr>
</table>
-<script type="text/javascript">
-var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
-document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
-</script>
-<script type="text/javascript">
-var pageTracker = _gat._getTracker("UA-3775212-3");
-pageTracker._initData();
-pageTracker._trackPageview();
-</script>
-
</body>
</html>
diff --git a/doc/changes.html b/doc/changes.html
index 78e8a46..eda91ae 100644
--- a/doc/changes.html
+++ b/doc/changes.html
@@ -763,7 +763,7 @@ href="http://www.splint.org/bugs.html">Reporting
Bugs</a> -
<a
href="http://www.splint.org/lists.html">Mailing
-Lists</a> <IMG src="http://sourceforge.net/sflogo.php?group_id=9538" width="0" height="0" alt="">
+Lists</a>
<a
@@ -781,16 +781,6 @@ href="http://www.splint.org/credits.html">Credits</a>
</tr>
</table>
-<script type="text/javascript">
-var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
-document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
-</script>
-<script type="text/javascript">
-var pageTracker = _gat._getTracker("UA-3775212-3");
-pageTracker._initData();
-pageTracker._trackPageview();
-</script>
-
</body>
</html>
diff --git a/doc/html/faq.html b/doc/html/faq.html
index 8ea758e..38fbe51 100644
--- a/doc/html/faq.html
+++ b/doc/html/faq.html
@@ -4,7 +4,7 @@
<head>
<meta name="generator"
content="HTML Tidy for Linux/x86 (vers 1st November 2002), see www.w3.org" />
- <link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css"
+ <link rel="stylesheet" type="text/css" href="splint.css"
title="style1" />
<title>Splint FAQ</title>
</head>
@@ -561,7 +561,7 @@ href="http://www.splint.org/bugs.html">Reporting
Bugs</a> -
<a
href="http://www.splint.org/lists.html">Mailing
-Lists</a> <IMG src="http://sourceforge.net/sflogo.php?group_id=9538" width="0" height="0" alt="">
+Lists</a>
<a
@@ -579,16 +579,6 @@ href="http://www.splint.org/credits.html">Credits</a>
</tr>
</table>
-<script type="text/javascript">
-var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
-document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
-</script>
-<script type="text/javascript">
-var pageTracker = _gat._getTracker("UA-3775212-3");
-pageTracker._initData();
-pageTracker._trackPageview();
-</script>
-
</body>
</html>
diff --git a/doc/html/footer.html b/doc/html/footer.html
index 9bdcb62..a5c0398 100755
--- a/doc/html/footer.html
+++ b/doc/html/footer.html
@@ -67,7 +67,7 @@ href="http://www.splint.org/bugs.html">Reporting
Bugs</a> -
<a
href="http://www.splint.org/lists.html">Mailing
-Lists</a> <IMG src="http://sourceforge.net/sflogo.php?group_id=9538" width="0" height="0" alt="">
+Lists</a>
<a
diff --git a/doc/html/manual.css b/doc/html/manual.css
index bc176a4..2cb1e21 100755
--- a/doc/html/manual.css
+++ b/doc/html/manual.css
@@ -10,8 +10,8 @@ title { font-family: Ariel, helvetica, sans-serif; color: darkblue }
A:link { color: blue }
A:visited { color: darkblue }
A:active { color: green }
-body { margin-left: 0%; margin-right: 0%; margin-top: 0%; margin-bottom:
-0% }
+body { margin-left: 1%; margin-right: 1%; margin-top: 1%; margin-bottom:
+1% }
h4 { margin-left: 0%; margin-right: 0% }
h3 { margin-left: 0%; margin-right: 0% }
h2 { margin-left: 0%; margin-right: 0% }
diff --git a/doc/html/manual.htm b/doc/html/manual.htm
index 11e6386..a00de52 100644
--- a/doc/html/manual.htm
+++ b/doc/html/manual.htm
@@ -4,7 +4,7 @@
"HTML Tidy for Solaris (vers 1st March 2003), see www.w3.org"
name="generator">
<link rel="stylesheet" type="text/css" href=
-"../manual.css" title="style1">
+"manual.css" title="style1">
<title>Splint Manual</title>
<style type="text/css">
<!--
|
