annotate src/fftw-3.3.5/doc/FAQ/m-info.pl @ 84:08ae793730bd

Add null config files
author Chris Cannam
date Mon, 02 Mar 2020 14:03:47 +0000
parents 2cd0e3b3e1fd
children
rev   line source
Chris@42 1 ## Info output
Chris@42 2 # Copyright (C) 1993-1995 Ian Jackson.
Chris@42 3
Chris@42 4 # This file is free software; you can redistribute it and/or modify
Chris@42 5 # it under the terms of the GNU General Public License as published by
Chris@42 6 # the Free Software Foundation; either version 2, or (at your option)
Chris@42 7 # any later version.
Chris@42 8
Chris@42 9 # It is distributed in the hope that it will be useful,
Chris@42 10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
Chris@42 11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
Chris@42 12 # GNU General Public License for more details.
Chris@42 13
Chris@42 14 # You should have received a copy of the GNU General Public License
Chris@42 15 # along with GNU Emacs; see the file COPYING. If not, write to
Chris@42 16 # the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
Chris@42 17 # Boston, MA 02111-1307, USA.
Chris@42 18
Chris@42 19 # (Note: I do not consider works produced using these BFNN processing
Chris@42 20 # tools to be derivative works of the tools, so they are NOT covered
Chris@42 21 # by the GPL. However, I would appreciate it if you credited me if
Chris@42 22 # appropriate in any documents you format using BFNN.)
Chris@42 23
Chris@42 24 sub info_init {
Chris@42 25 open(INFO,">$prefix.info");
Chris@42 26 print INFO <<END;
Chris@42 27 Info file: $prefix.info, -*-Text-*-
Chris@42 28 produced by bfnnconv.pl from the Bizarre Format With No Name.
Chris@42 29
Chris@42 30 END
Chris@42 31 }
Chris@42 32
Chris@42 33 sub info_heading {
Chris@42 34 # refstring Node Next Previous Up
Chris@42 35 print INFO "\nFile: $prefix.info, Node: $_[1]";
Chris@42 36 print INFO ", Next: $_[2]" if length($_[2]);
Chris@42 37 print INFO ", Previous: $_[3]" if length($_[3]);
Chris@42 38 print INFO ", Up: $_[4]" if length($_[4]);
Chris@42 39 print INFO "\n\n";
Chris@42 40 $info_status= '';
Chris@42 41 }
Chris@42 42
Chris@42 43 sub info_startmajorheading {
Chris@42 44 return if $_[0] eq '0';
Chris@42 45 &info_heading('s_'.$_[0],@_[1..$#_],'Top');
Chris@42 46 }
Chris@42 47
Chris@42 48 sub info_startminorheading {
Chris@42 49 &info_heading(@_);
Chris@42 50 }
Chris@42 51
Chris@42 52 sub info_italic { &info_text('*'); }
Chris@42 53 sub info_enditalic { $info_para .= '*'; }
Chris@42 54
Chris@42 55 sub info_email { &info_text('<'); } sub info_endemail { &info_text('>'); }
Chris@42 56
Chris@42 57 sub info_ftpon { } sub info_endftpon { }
Chris@42 58 sub info_ftpin { } sub info_endftpin { }
Chris@42 59 sub info_docref { } sub info_enddocref { }
Chris@42 60 sub info_courier { } sub info_endcourier { }
Chris@42 61 sub info_newsgroup { } sub info_endnewsgroup { }
Chris@42 62 sub info_ftpsilent { $info_ignore++; }
Chris@42 63 sub info_endftpsilent { $info_ignore--; }
Chris@42 64
Chris@42 65 sub info_text {
Chris@42 66 return if $info_ignore;
Chris@42 67 if ($info_status eq '') {
Chris@42 68 $info_status= 'p';
Chris@42 69 }
Chris@42 70 $info_para .= $_[0];
Chris@42 71 }
Chris@42 72
Chris@42 73 sub info_tab {
Chris@42 74 local ($n) = $_[0]-length($info_para);
Chris@42 75 $info_para .= ' 'x$n if $n>0;
Chris@42 76 }
Chris@42 77
Chris@42 78 sub info_newline {
Chris@42 79 return unless $info_status eq 'p';
Chris@42 80 print INFO &info_writepara;
Chris@42 81 }
Chris@42 82
Chris@42 83 sub info_writepara {
Chris@42 84 local ($thisline, $thisword, $rest, $output);
Chris@42 85 for (;;) {
Chris@42 86 last unless $info_para =~ m/\S/;
Chris@42 87 $thisline= $info_indentstring;
Chris@42 88 for (;;) {
Chris@42 89 last unless $info_para =~ m/^(\s*\S+)/;
Chris@42 90 unless (length($1) + length($thisline) < 75 ||
Chris@42 91 length($thisline) == length($info_indentstring)) {
Chris@42 92 last;
Chris@42 93 }
Chris@42 94 $thisline .= $1;
Chris@42 95 $info_para= $';
Chris@42 96 }
Chris@42 97 $info_para =~ s/^\s*//;
Chris@42 98 $output.= $thisline."\n";
Chris@42 99 $info_indentstring= $info_nextindent;
Chris@42 100 last unless length($info_para);
Chris@42 101 }
Chris@42 102 $info_status= ''; $info_para= '';
Chris@42 103 return $output;
Chris@42 104 }
Chris@42 105
Chris@42 106 sub info_endpara {
Chris@42 107 return unless $info_status eq 'p';
Chris@42 108 print INFO &info_writepara;
Chris@42 109 print INFO "\n";
Chris@42 110 }
Chris@42 111
Chris@42 112 sub info_endheading {
Chris@42 113 $info_para =~ s/\s*$//;
Chris@42 114 print INFO "$info_para\n\n";
Chris@42 115 $info_status= '';
Chris@42 116 $info_para= '';
Chris@42 117 }
Chris@42 118
Chris@42 119 sub info_endmajorheading { &info_endheading(@_); }
Chris@42 120 sub info_endminorheading { &info_endheading(@_); }
Chris@42 121
Chris@42 122 sub info_startverbatim {
Chris@42 123 print INFO &info_writepara;
Chris@42 124 }
Chris@42 125
Chris@42 126 sub info_verbatim {
Chris@42 127 print INFO $_[0],"\n";
Chris@42 128 }
Chris@42 129
Chris@42 130 sub info_endverbatim {
Chris@42 131 $info_status= $info_vstatus;
Chris@42 132 }
Chris@42 133
Chris@42 134 sub info_finish {
Chris@42 135 close(INFO);
Chris@42 136 }
Chris@42 137
Chris@42 138 sub info_startindex {
Chris@42 139 &info_endpara;
Chris@42 140 $info_moredetail= '';
Chris@42 141 $info_status= '';
Chris@42 142 }
Chris@42 143
Chris@42 144 sub info_endindex {
Chris@42 145 print INFO "$info_moredetail\n" if length($info_moredetail);
Chris@42 146 }
Chris@42 147
Chris@42 148 sub info_endindexitem {
Chris@42 149 $info_indentstring= sprintf("* %-17s ",$info_label.'::');
Chris@42 150 $info_nextindent= ' 'x20;
Chris@42 151 local ($txt);
Chris@42 152 $txt= &info_writepara;
Chris@42 153 if ($info_main) {
Chris@42 154 print INFO $label.$txt;
Chris@42 155 $txt =~ s/^.{20}//;
Chris@42 156 $info_moredetail.= $txt;
Chris@42 157 } else {
Chris@42 158 $info_moredetail.= $label.$txt;
Chris@42 159 }
Chris@42 160 $info_indentstring= $info_nextindent= '';
Chris@42 161 $info_status='p';
Chris@42 162 }
Chris@42 163
Chris@42 164 sub info_startindexitem {
Chris@42 165 print INFO "* Menu:\n" if $info_status eq '';
Chris@42 166 $info_status= '';
Chris@42 167 $info_label= $_[2];
Chris@42 168 $info_main= 0;
Chris@42 169 }
Chris@42 170
Chris@42 171 sub info_startindexmainitem {
Chris@42 172 print INFO "* Menu:\n" if $info_status eq '';
Chris@42 173 $info_label= $_[2];
Chris@42 174 $info_main= 1;
Chris@42 175 $info_moredetail .= "\n$_[2], ";
Chris@42 176 $info_status= '';
Chris@42 177 }
Chris@42 178
Chris@42 179 sub info_startindent {
Chris@42 180 $info_istatus= $info_status;
Chris@42 181 print INFO &info_writepara;
Chris@42 182 $info_indentstring= " $info_indentstring";
Chris@42 183 $info_nextindent= " $info_nextindent";
Chris@42 184 }
Chris@42 185
Chris@42 186 sub info_endindent {
Chris@42 187 $info_indentstring =~ s/^ //;
Chris@42 188 $info_nextindent =~ s/^ //;
Chris@42 189 $info_status= $info_istatus;
Chris@42 190 }
Chris@42 191
Chris@42 192 sub info_startpackedlist { $info_plc=0; }
Chris@42 193 sub info_endpackedlist { &info_newline if !$info_plc; }
Chris@42 194 sub info_packeditem {
Chris@42 195 &info_newline if !$info_plc;
Chris@42 196 &info_tab($info_plc*40+5);
Chris@42 197 $info_plc= !$info_plc;
Chris@42 198 }
Chris@42 199
Chris@42 200 sub info_startlist {
Chris@42 201 $info_istatus= $info_status;
Chris@42 202 print INFO &info_writepara;
Chris@42 203 $info_indentstring= " $info_indentstring";
Chris@42 204 $info_nextindent= " $info_nextindent";
Chris@42 205 }
Chris@42 206
Chris@42 207 sub info_endlist {
Chris@42 208 $info_indentstring =~ s/^ //;
Chris@42 209 $info_nextindent =~ s/^ //;
Chris@42 210 $info_status= $info_lstatus;
Chris@42 211 }
Chris@42 212
Chris@42 213 sub info_item {
Chris@42 214 &info_newline;
Chris@42 215 $info_indentstring =~ s/ $/* /;
Chris@42 216 }
Chris@42 217
Chris@42 218 sub info_pageref {
Chris@42 219 &info_text("*Note Question $_[1]:: \`");
Chris@42 220 }
Chris@42 221
Chris@42 222 sub info_endpageref {
Chris@42 223 &info_text("'");
Chris@42 224 }
Chris@42 225
Chris@42 226 1;