Mercurial > hg > sv-dependency-builds

annotate src/fftw-3.3.3/doc/FAQ/m-html.pl @ 83:ae30d91d2ffe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replace these with versions built using an older toolset (so as to avoid ABI compatibilities when linking on Ubuntu 14.04 for packaging purposes)
author Chris Cannam
date Fri, 07 Feb 2020 11:51:13 +0000
parents 37bf6b4a2645
children
rev   line source
Chris@10 1 ## HTML output
Chris@10 2 # Copyright (C) 1993-1995 Ian Jackson.
Chris@10 3
Chris@10 4 # This file is free software; you can redistribute it and/or modify
Chris@10 5 # it under the terms of the GNU General Public License as published by
Chris@10 6 # the Free Software Foundation; either version 2, or (at your option)
Chris@10 7 # any later version.
Chris@10 8
Chris@10 9 # It is distributed in the hope that it will be useful,
Chris@10 10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
Chris@10 11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
Chris@10 12 # GNU General Public License for more details.
Chris@10 13
Chris@10 14 # You should have received a copy of the GNU General Public License
Chris@10 15 # along with GNU Emacs; see the file COPYING. If not, write to
Chris@10 16 # the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
Chris@10 17 # Boston, MA 02111-1307, USA.
Chris@10 18
Chris@10 19 # (Note: I do not consider works produced using these BFNN processing
Chris@10 20 # tools to be derivative works of the tools, so they are NOT covered
Chris@10 21 # by the GPL. However, I would appreciate it if you credited me if
Chris@10 22 # appropriate in any documents you format using BFNN.)
Chris@10 23
Chris@10 24 %saniarray= ('<','lt', '>','gt', '&','amp', '"','quot');
Chris@10 25
Chris@10 26 sub html_init {
Chris@10 27 $html_prefix = './'.$prefix;
Chris@10 28 $html_prefix =~ s:^\.//:/:;
Chris@10 29 system('rm','-r',"$html_prefix.html");
Chris@10 30 system('mkdir',"$html_prefix.html");
Chris@10 31 open(HTML,">$html_prefix.html/index.html");
Chris@10 32 print HTML "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 3.2//EN\">\n";
Chris@10 33 print HTML "<html>\n";
Chris@10 34 $html_needpara= -1;
Chris@10 35 $html_end='';
Chris@10 36 chop($html_date=`date '+%d %B %Y'`);
Chris@10 37 chop($html_year=`date '+%Y'`);
Chris@10 38 }
Chris@10 39
Chris@10 40 sub html_startup {
Chris@10 41 print HTML <<END;
Chris@10 42 <head><title>
Chris@10 43 $user_title
Chris@10 44 </title>
Chris@10 45 <link rev="made" href="mailto:$user_authormail">
Chris@10 46 <link rel="Contents" href="index.html">
Chris@10 47 <link rel="Start" href="index.html">
Chris@10 48 <META name="description"
Chris@10 49 content="Frequently asked questions and answers (FAQ) for FFTW.">
Chris@10 50 <link rel="Bookmark" title="FFTW FAQ" href="index.html">
Chris@10 51 <LINK rel="Bookmark" title="FFTW Home Page"
Chris@10 52 href="http://www.fftw.org">
Chris@10 53 <LINK rel="Bookmark" title="FFTW Manual"
Chris@10 54 href="http://www.fftw.org/doc/">
Chris@10 55 </head><body text="#000000" bgcolor="#FFFFFF"><h1>
Chris@10 56 $user_title
Chris@10 57 </h1>
Chris@10 58 END
Chris@10 59 &html_readrefs($_[0]);
Chris@10 60 if (length($user_copyrightref)) {
Chris@10 61 local ($refn) = $qrefn{$user_copyrightref};
Chris@10 62 if (!length($refn)) {
Chris@10 63 warn "unknown question (copyright) `$user_copyrightref'";
Chris@10 64 }
Chris@10 65 $refn =~ m/(\d+)\.(\d+)/;
Chris@10 66 local ($s,$n) = ($1,$2);
Chris@10 67 $html_copyrighthref= ($s == $html_sectionn)?'':"section$s.html";
Chris@10 68 $html_copyrighthref.= "#$qn2ref{$s,$n}";
Chris@10 69 }
Chris@10 70 }
Chris@10 71
Chris@10 72 sub html_close {
Chris@10 73 print HTML $html_end,"<address>\n$user_author\n";
Chris@10 74 print HTML "- $html_date\n</address><br>\n";
Chris@10 75 print HTML "Extracted from $user_title,\n";
Chris@10 76 print HTML "<A href=\"$html_copyrighthref\">" if length($html_copyrighthref);
Chris@10 77 print HTML "Copyright &copy; $html_year $user_copyholder.";
Chris@10 78 print HTML "</A>" if length($html_copyrighthref);
Chris@10 79 print HTML "\n</body></html>\n";
Chris@10 80 close(HTML);
Chris@10 81 }
Chris@10 82
Chris@10 83 sub html_startmajorheading {
Chris@10 84 local ($ref, $this,$next,$back) = @_;
Chris@10 85 local ($nextt,$backt);
Chris@10 86 $this =~ s/^Section /section/; $html_sectionn= $ref;
Chris@10 87 $next =~ s/^Section /section/ && ($nextt= $sn2title{$'});
Chris@10 88 $back =~ s/^Section /section/ ? ($backt= $sn2title{$'}) : ($back='');
Chris@10 89 if ($html_sectionn) {
Chris@10 90 &html_close;
Chris@10 91 open(HTML,">$html_prefix.html/$this.html");
Chris@10 92 print HTML "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 3.2//EN\">\n";
Chris@10 93 print HTML "<html>\n";
Chris@10 94 $html_end= "<hr>\n";
Chris@10 95 $html_end.= "Next: <a href=\"$next.html\" rel=precedes>$nextt</a>.<br>\n"
Chris@10 96 if $next;
Chris@10 97 $html_end.= "Back: <a href=\"$back.html\" rev=precedes>$backt</a>.<br>\n"
Chris@10 98 if $back;
Chris@10 99 $html_end.= "<a href=\"index.html\" rev=subdocument>";
Chris@10 100 $html_end.= "Return to contents</a>.<p>\n";
Chris@10 101 print HTML <<END;
Chris@10 102 <head><title>
Chris@10 103 $user_brieftitle - Section $html_sectionn
Chris@10 104 </title>
Chris@10 105 <link rev="made" href="mailto:$user_authormail">
Chris@10 106 <link rel="Contents" href="index.html">
Chris@10 107 <link rel="Start" href="index.html">
Chris@10 108 END
Chris@10 109 print HTML "<link rel=\"Next\" href=\"$next.html\">" if $next;
Chris@10 110 print HTML "<link rel=\"Previous\" href=\"$back.html\">" if $back;
Chris@10 111 print HTML <<END;
Chris@10 112 <link rel="Bookmark" title="FFTW FAQ" href="index.html">
Chris@10 113 </head><body text="#000000" bgcolor="#FFFFFF"><h1>
Chris@10 114 $user_brieftitle - Section $html_sectionn <br>
Chris@10 115 END
Chris@10 116 $html_needpara= -1;
Chris@10 117 }
Chris@10 118 else {
Chris@10 119 print HTML "\n<h1>\n";
Chris@10 120 $html_needpara=-1;
Chris@10 121 }
Chris@10 122 }
Chris@10 123
Chris@10 124 sub html_endmajorheading {
Chris@10 125 print HTML "\n</h1>\n\n";
Chris@10 126 $html_needpara=-1;
Chris@10 127 }
Chris@10 128
Chris@10 129 sub html_startminorheading {
Chris@10 130 local ($ref, $this) = @_;
Chris@10 131 $html_needpara=0;
Chris@10 132 $this =~ m/^Question (\d+)\.(\d+)/;
Chris@10 133 local ($s,$n) = ($1,$2);
Chris@10 134 print HTML "\n<h2><A name=\"$qn2ref{$s,$n}\">\n";
Chris@10 135 }
Chris@10 136
Chris@10 137 sub html_endminorheading {
Chris@10 138 print HTML "\n</A></h2>\n\n";
Chris@10 139 $html_needpara=-1;
Chris@10 140 }
Chris@10 141
Chris@10 142 sub html_newsgroup { &arg('newsgroup'); }
Chris@10 143 sub html_endnewsgroup { &endarg('newsgroup'); }
Chris@10 144 sub html_do_newsgroup {
Chris@10 145 print HTML "<A href=\"news:$_[0]\"><code>$_[0]</code></A>";
Chris@10 146 }
Chris@10 147
Chris@10 148 sub html_email { &arg('email'); }
Chris@10 149 sub html_endemail { &endarg('email'); }
Chris@10 150 sub html_do_email {
Chris@10 151 print HTML "<A href=\"mailto:$_[0]\"><code>$_[0]</code></A>";
Chris@10 152 }
Chris@10 153
Chris@10 154 sub html_courier { print HTML "<code>" ; }
Chris@10 155 sub html_endcourier { print HTML "</code>"; }
Chris@10 156 sub html_italic { print HTML "<i>" ; }
Chris@10 157 sub html_enditalic { print HTML "</i>" ; }
Chris@10 158
Chris@10 159 sub html_docref { &arg('docref'); }
Chris@10 160 sub html_enddocref { &endarg('docref'); }
Chris@10 161 sub html_do_docref {
Chris@10 162 if (!defined($html_refval{$_[0]})) {
Chris@10 163 warn "undefined HTML reference $_[0]";
Chris@10 164 $html_refval{$n}='UNDEFINED';
Chris@10 165 }
Chris@10 166 print HTML "<A href=\"$html_refval{$_[0]}\">";
Chris@10 167 &recurse($_[0]);
Chris@10 168 print HTML "</A>";
Chris@10 169 }
Chris@10 170
Chris@10 171 sub html_readrefs {
Chris@10 172 local ($p);
Chris@10 173 open(HTMLREFS,"<$_[0]") || (warn("failed to open HTML refs $_[0]: $!"),return);
Chris@10 174 while(<HTMLREFS>) {
Chris@10 175 next if m/^\\\s/;
Chris@10 176 s/\s*\n$//;
Chris@10 177 if (s/^\\prefix\s*//) {
Chris@10 178 $p= $'; next;
Chris@10 179 } elsif (s/^\s*(\S.*\S)\s*\\\s*//) {
Chris@10 180 $_=$1; $v=$';
Chris@10 181 s/\\\\/\\/g;
Chris@10 182 $html_refval{$_}= $p.$v;
Chris@10 183 } else {
Chris@10 184 warn("ununderstood line in HTML refs >$_<");
Chris@10 185 }
Chris@10 186 }
Chris@10 187 close(HTMLREFS);
Chris@10 188 }
Chris@10 189
Chris@10 190 sub html_ftpsilent { &arg('ftpsilent'); }
Chris@10 191 sub html_endftpsilent { &endarg('ftpsilent'); }
Chris@10 192 sub html_do_ftpsilent {
Chris@10 193 if ($_[0] =~ m/:/) {
Chris@10 194 $html_ftpsite= $`;
Chris@10 195 $html_ftpdir= $'.'/';
Chris@10 196 } else {
Chris@10 197 $html_ftpsite= $_[0];
Chris@10 198 $html_ftpdir= '';
Chris@10 199 }
Chris@10 200 }
Chris@10 201
Chris@10 202 sub html_ftpon { &arg('ftpon'); }
Chris@10 203 sub html_endftpon { &endarg('ftpon'); }
Chris@10 204 sub html_do_ftpon {
Chris@10 205 #print STDERR "ftpon($_[0])\n";
Chris@10 206 $html_ftpsite= $_[0]; $html_ftpdir= '';
Chris@10 207 print HTML "<code>";
Chris@10 208 &recurse($_[0]);
Chris@10 209 print HTML "</code>";
Chris@10 210 }
Chris@10 211
Chris@10 212 sub html_ftpin { &arg('ftpin'); }
Chris@10 213 sub html_endftpin { &endarg('ftpin'); }
Chris@10 214 sub html_do_ftpin {
Chris@10 215 #print STDERR "ftpin($_[0])\n";
Chris@10 216 print HTML "<A href=\"ftp://$html_ftpsite$html_ftpdir$_[0]\"><code>";
Chris@10 217 &recurse($_[0]);
Chris@10 218 print HTML "</code></A>";
Chris@10 219 }
Chris@10 220
Chris@10 221 sub html_text {
Chris@10 222 print HTML "\n<p>\n" if $html_needpara > 0;
Chris@10 223 $html_needpara=0;
Chris@10 224 $html_stuff= &html_sanitise($_[0]);
Chris@10 225 while ($html_stuff =~ s/^(.{40,70}) //) {
Chris@10 226 print HTML "$1\n";
Chris@10 227 }
Chris@10 228 print HTML $html_stuff;
Chris@10 229 }
Chris@10 230
Chris@10 231 sub html_tab {
Chris@10 232 $htmltabignore++ || warn "html tab ignored";
Chris@10 233 }
Chris@10 234
Chris@10 235 sub html_newline { print HTML "<br>\n" ; }
Chris@10 236 sub html_startverbatim { print HTML "<pre>\n" ; }
Chris@10 237 sub html_verbatim { print HTML &html_sanitise($_[0]),"\n"; }
Chris@10 238 sub html_endverbatim { print HTML "</pre>\n" ; $html_needpara= -1; }
Chris@10 239
Chris@10 240 sub html_endpara {
Chris@10 241 $html_needpara || $html_needpara++;
Chris@10 242 }
Chris@10 243
Chris@10 244 sub html_finish {
Chris@10 245 &html_close;
Chris@10 246 }
Chris@10 247
Chris@10 248 sub html_startindex {
Chris@10 249 print HTML "<ul>\n";
Chris@10 250 }
Chris@10 251
Chris@10 252 sub html_endindex {
Chris@10 253 print HTML "</ul><hr>\n";
Chris@10 254 }
Chris@10 255
Chris@10 256 sub html_startindexitem {
Chris@10 257 local ($ref,$qval) = @_;
Chris@10 258 $qval =~ m/Q(\d+)\.(\d+)/;
Chris@10 259 local ($s,$n) = ($1,$2);
Chris@10 260 print HTML "<li><a href=\"";
Chris@10 261 print HTML ($s == $html_sectionn)?'':"section$s.html";
Chris@10 262 print HTML "#$qn2ref{$s,$n}\" rel=subdocument>Q$s.$n. ";
Chris@10 263 $html_indexunhead='';
Chris@10 264 }
Chris@10 265
Chris@10 266 sub html_startindexmainitem {
Chris@10 267 local ($ref,$s) = @_;
Chris@10 268 $s =~ m/\d+/; $s= $&;
Chris@10 269 print HTML "<br><br>" if ($s > 1);
Chris@10 270 print HTML "<li><b><font size=\"+2\"><a href=\"section$s.html\" rel=subdocument>Section $s. ";
Chris@10 271 $html_indexunhead='</font></b>';
Chris@10 272 }
Chris@10 273
Chris@10 274 sub html_endindexitem {
Chris@10 275 print HTML "</a>$html_indexunhead\n";
Chris@10 276 }
Chris@10 277
Chris@10 278 sub html_startlist {
Chris@10 279 print HTML "\n";
Chris@10 280 $html_itemend="<ul>";
Chris@10 281 }
Chris@10 282
Chris@10 283 sub html_endlist {
Chris@10 284 print HTML "$html_itemend\n</ul>\n";
Chris@10 285 $html_needpara=-1
Chris@10 286 }
Chris@10 287
Chris@10 288 sub html_item {
Chris@10 289 print HTML "$html_itemend\n<li>";
Chris@10 290 $html_itemend="";
Chris@10 291 $html_needpara=-1;
Chris@10 292 }
Chris@10 293
Chris@10 294 sub html_startpackedlist {
Chris@10 295 print HTML "\n";
Chris@10 296 $html_itemend="<dir>";
Chris@10 297 }
Chris@10 298
Chris@10 299 sub html_endpackedlist {
Chris@10 300 print HTML "$html_itemend\n</dir>\n";
Chris@10 301 $html_needpara=-1;
Chris@10 302 }
Chris@10 303
Chris@10 304 sub html_packeditem {
Chris@10 305 print HTML "$html_itemend\n<li>";
Chris@10 306 $html_itemend="";
Chris@10 307 $html_needpara=-1;
Chris@10 308 }
Chris@10 309
Chris@10 310 sub html_startindent { print HTML "<blockquote>\n"; }
Chris@10 311 sub html_endindent { print HTML "</blockquote>\n"; }
Chris@10 312
Chris@10 313 sub html_pageref {
Chris@10 314 local ($ref,$sq) = @_;
Chris@10 315 $sq =~ m/(\d+)\.(\d+)/;
Chris@10 316 local ($s,$n) = ($1,$2);
Chris@10 317 print HTML "<A href=\"";
Chris@10 318 print HTML ($s == $html_sectionn)?'':"section$s.html";
Chris@10 319 print HTML "#$qn2ref{$s,$n}\">Q$sq \`";
Chris@10 320 }
Chris@10 321
Chris@10 322 sub html_endpageref {
Chris@10 323 print HTML "'</A>";
Chris@10 324 }
Chris@10 325
Chris@10 326 sub html_sanitise {
Chris@10 327 local ($in) = @_;
Chris@10 328 local ($out);
Chris@10 329 while ($in =~ m/[<>&"]/) {
Chris@10 330 $out.= $`. '&'. $saniarray{$&}. ';';
Chris@10 331 $in=$';
Chris@10 332 }
Chris@10 333 $out.= $in;
Chris@10 334 $out;
Chris@10 335 }
Chris@10 336
Chris@10 337 1;