Changeset c849746 in rtems

Timestamp:

05/31/00 13:25:34 (23 years ago)

Author:

Joel Sherrill <joel.sherrill@…>

Branches:

4.10, 4.11, 4.8, 4.9, 5, master

Children:

fc76a6aa

Parents:

f65b3668

Message:

Patch from Ralf Corsepius <corsepiu@…>:

Adds a -I <path> option to texi2www. This option is supposed to
compatible to the option of the same name in makeinfo, texi2dvi etc.
[This patch actually is kind of a hack, but it works :]

File:

• doc/tools/texi2www/texi2www (modified) (4 diffs)

doc/tools/texi2www/texi2www

@@ -27 +27 @@
                        this files gets inserted near the bottom of each
                        generated HTML file.
+  -I path           -- Append path to the directories being searched for
+                       texi files.
   -icons path       -- Specifies the path, relative to the output directory,
                        to the arrow files.  Default is `..'.
@@ -46 +48 @@
 $dir = ".";                        # where are the generated files to go
 $dirfile = "../dir.html";          # "up" node pointer
+@include_path = () ;               # list of include directories
+
 while ($ARGV[0] =~ /^-/) {
     $_ = shift;
@@ -56 +60 @@
     if (/-uselongnames/) {$uselongnames = 1; next;}
     if (/-verbose/) {$verbose = 1; next;}
+    if (/-I/) { push @include_path, shift; next;}
     die $usage;
 }
 
+print STDERR "include-path:@include_path\n" if $verbose ;
 &initialize_tables();
 
@@ -1240 +1246 @@
 sub open_input_file
 {
-    unshift(@texinfo_file,$_[0]);
-    print "opening $_[0] ...\n" if $debug{open_input_file};
-    open($texinfo_file[0],$_[0]) || die "Couldn't open $_[0]: $!\n";
+    my $file = "$_[0]" ;
+    if ( not -f "$file" )
+    {
+      foreach $i ( @include_path )
+      {
+        if ( -f "$i/$_[0]" ) { $file = "$i/$_[0]"; last ; }
+      }
+    }
+    unshift(@texinfo_file,$file);
+    print "opening $file ...\n" if $debug{open_input_file};
+    open($texinfo_file[0],$file) || die "Couldn't open $file: $!\n";
 } # open_input_file