annotate runtime/doc/vim2html.pl @ 10309:88331ee68367 v8.0.0050

commit https://github.com/vim/vim/commit/01688ad545ff0809ddad5c8fa6b149dc5d67312b Author: Bram Moolenaar <Bram@vim.org> Date: Thu Oct 27 20:00:07 2016 +0200 patch 8.0.0050 Problem: An exiting job is detected with a large latency. Solution: Check for pending job more often. (Ozaki Kiichi) Change the double loop in mch_inchar() into one.
author Christian Brabandt <cb@256bit.org>
date Thu, 27 Oct 2016 20:15:04 +0200
parents 840c3cadb842
children e09acb1daea7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 #!/usr/bin/env perl
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 # converts vim documentation to simple html
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 # Sirtaj Singh Kang (taj@kde.org)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
6 # Sun Feb 24 14:49:17 CET 2002
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 use strict;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 use vars qw/%url $date/;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 %url = ();
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
12 $date = `date`;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
13 chop $date;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
14
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
15 sub maplink
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
16 {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
17 my $tag = shift;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
18 if( exists $url{ $tag } ){
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
19 return $url{ $tag };
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
20 } else {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
21 #warn "Unknown hyperlink target: $tag\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
22 $tag =~ s/\.txt//;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
23 $tag =~ s/</&lt;/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
24 $tag =~ s/>/&gt;/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
25 return "<code class=\"badlink\">$tag</code>";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
26 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
27 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
28
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
29 sub readTagFile
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
30 {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
31 my($tagfile) = @_;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
32 my( $tag, $file, $name );
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
33
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
34 open(TAGS,"$tagfile") || die "can't read tags\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
35
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
36 while( <TAGS> ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
37 next unless /^(\S+)\s+(\S+)\s+/;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
38
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
39 $tag = $1;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
40 my $label = $tag;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
41 ($file= $2) =~ s/.txt$/.html/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
42 $label =~ s/\.txt//;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
43
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
44 $url{ $tag } = "<a href=\"$file#".escurl($tag)."\">".esctext($label)."</a>";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
45 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
46 close( TAGS );
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
47 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
48
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
49 sub esctext
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
50 {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
51 my $text = shift;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
52 $text =~ s/&/&amp;/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
53 $text =~ s/</&lt;/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
54 $text =~ s/>/&gt;/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
55 return $text;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
56 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
57
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
58 sub escurl
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
59 {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
60 my $url = shift;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
61 $url =~ s/"/%22/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
62 $url =~ s/~/%7E/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
63 $url =~ s/</%3C/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
64 $url =~ s/>/%3E/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
65 $url =~ s/=/%20/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
66 $url =~ s/#/%23/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
67 $url =~ s/\//%2F/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
68
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
69 return $url;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
70 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
71
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
72 sub vim2html
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
73 {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
74 my( $infile ) = @_;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
75 my( $outfile );
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
76
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
77 open(IN, "$infile" ) || die "Couldn't read from $infile: $!.\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
78
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
79 ($outfile = $infile) =~ s:.*/::g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
80 $outfile =~ s/\.txt$//g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
81
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
82 open( OUT, ">$outfile.html" )
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
83 || die "Couldn't write to $outfile.html: $!.\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
84 my $head = uc( $outfile );
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
85
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
86 print OUT<<EOF;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
87 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
88 <html>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
89 <head>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
90 <title>VIM: $outfile</title>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
91 <link rel="stylesheet" href="vim-stylesheet.css" type="text/css">
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
92 </head>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
93 <body>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
94 <h2>$head</h2>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
95 <pre>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
96 EOF
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
97
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
98 my $inexample = 0;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
99 while( <IN> ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
100 chop;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
101 if ( /^\s*[-=]+\s*$/ ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
102 print OUT "</pre><hr><pre>";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
103 next;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
104 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
105
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
106 # examples
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
107 elsif( /^>$/ || /\s>$/ ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
108 $inexample = 1;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
109 chop;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
110 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
111 elsif ( $inexample && /^([<\S])/ ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
112 $inexample = 0;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
113 $_ = $' if $1 eq "<";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
114 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
115
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
116 s/\s+$//g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
117
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
118 # Various vim highlights. note that < and > have already been escaped
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
119 # so that HTML doesn't get screwed up.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
120
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
121 my @out = ();
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
122 # print "Text: $_\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
123 LOOP:
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
124 foreach my $token ( split /((?:\|[^\|]+\|)|(?:\*[^\*]+\*))/ ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
125 if ( $token =~ /^\|([^\|]+)\|/ ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
126 # link
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
127 push( @out, "|".maplink( $1 )."|" );
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
128 next LOOP;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
129 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
130 elsif ( $token =~ /^\*([^\*]+)\*/ ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
131 # target
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
132 push( @out,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
133 "<b class=\"vimtag\">\*<a name=\"".escurl($1)."\">".esctext($1)."<\/a>\*<\/b>");
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
134 next LOOP;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
135 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
136
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
137 $_ = esctext($token);
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
138 s/CTRL-(\w+)/<code class="keystroke">CTRL-$1<\/code>/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
139 # parameter <...>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
140 s/&lt;(.*?)&gt;/<code class="special">&lt;$1&gt;<\/code>/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
141
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
142 # parameter {...}
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
143 s/\{([^}]*)\}/<code class="special">{$1}<\/code>/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
144
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
145 # parameter [...]
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
146 s/\[(range|line|count|offset|cmd|[-+]?num)\]/<code class="special">\[$1\]<\/code>/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
147 # note
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
148 s/(Note:?)/<code class="note">$1<\/code>/gi;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
149
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
150 # local heading
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
151 s/^(.*)\~$/<code class="section">$1<\/code>/g;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
152 push( @out, $_ );
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
153 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
154
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
155 $_ = join( "", @out );
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
156
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
157 if( $inexample == 2 ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
158 print OUT "<code class=\"example\">$_</code>\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
159 } else {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
160 print OUT $_,"\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
161 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
162
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
163 $inexample = 2 if $inexample == 1;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
164 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
165 print OUT<<EOF;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
166 </pre>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
167 <p><i>Generated by vim2html on $date</i></p>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
168 </body>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
169 </html>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
170 EOF
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
171
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
172 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
173
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
174 sub usage
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
175 {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
176 die<<EOF;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
177 vim2html.pl: converts vim documentation to HTML.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
178 usage:
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
179
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
180 vim2html.pl <tag file> <text files>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
181 EOF
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
182 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
183
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
184
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
185 sub writeCSS
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
186 {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
187 open( CSS, ">vim-stylesheet.css" ) || die "Couldn't write stylesheet: $!\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
188 print CSS<<EOF;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
189 body { background-color: white; color: black;}
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
190 :link { color: rgb(0,137,139); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
191 :visited { color: rgb(0,100,100);
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
192 background-color: white; /* should be inherit */ }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
193 :active { color: rgb(0,200,200);
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
194 background-color: white; /* should be inherit */ }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
195
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
196 B.vimtag { color : rgb(250,0,250); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
197
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
198 h1, h2 { color: rgb(82,80,82); text-align: center; }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
199 h3, h4, h5, h6 { color: rgb(82,80,82); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
200 .headline { color: rgb(0,137,139); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
201 .header { color: rgb(164, 32, 246); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
202 .section { color: rgb(164, 32, 246); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
203 .keystroke { color: rgb(106, 89, 205); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
204 .vim { }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
205 .example { color: rgb(0, 0, 255); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
206 .option { }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
207 .notvi { }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
208 .special { color: rgb(106, 89, 205); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
209 .note { color: blue; background-color: yellow; }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
210 .sub {}
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
211 .badlink { color: rgb(0,37,39); }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
212 EOF
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
213
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
214 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
215
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
216 # main
2642
840c3cadb842 Updated runtime files.
Bram Moolenaar <bram@vim.org>
parents: 1121
diff changeset
217 usage() if $#ARGV < 1;
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
218
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
219 print "Processing tags...\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
220 readTagFile( $ARGV[ 0 ] );
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
221
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
222 foreach my $file ( 1..$#ARGV ) {
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
223 print "Processing ".$ARGV[ $file ]."...\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
224 vim2html( $ARGV[ $file ] );
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
225 }
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
226 print "Writing stylesheet...\n";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
227 writeCSS();
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
228 print "done.\n"