Changeset 5b0536 in git


Ignore:
Timestamp:
Jun 18, 1998, 11:21:40 AM (26 years ago)
Author:
Kai Krüger <krueger@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
c8c3b80aa697582a89405ccbe97006dc6f19ae07
Parents:
4c79e770576c3cddc0481e07b9f53e5363727aba
Message:
changed icons


git-svn-id: file:///usr/local/Singular/svn/trunk@2192 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/texi2html

    r4c79e7 r5b0536  
    22'di ';
    33'ig 00 ';
    4 # $Id: texi2html,v 1.3 1998-06-09 13:16:27 krueger Exp $
     4# $Id: texi2html,v 1.4 1998-06-18 09:21:40 krueger Exp $
    55# Description: Program to transform most Texinfo documents to HTML.
    66# The plan is for the next version of makeinfo to support HTML output
    … …  
    3636$DEBUG_USER  = 64;
    3737
    38 $IMG_FIRST_ACTIVE  = "<IMG SRC=\"first-b.gif\">";
    39 $IMG_FIRST_PASSIVE = "<IMG SRC=\"first-t.gif\">";
    40 $IMG_LAST_ACTIVE   = "<IMG SRC=\"last-b.gif\">";
    41 $IMG_LAST_PASSIVE  = "<IMG SRC=\"last-t.gif\">";
    42 $IMG_NEXT_ACTIVE   = "<IMG SRC=\"next-b.gif\">";
    43 $IMG_NEXT_PASSIVE  = "<IMG SRC=\"next-t.gif\">";
    44 $IMG_PREV_ACTIVE   = "<IMG SRC=\"previous-b.gif\">";
    45 $IMG_PREV_PASSIVE  = "<IMG SRC=\"previous-t.gif\">";
    46 $IMG_TOC           = "<IMG SRC=\"toc-b.gif\">";
     38#$IMG_FIRST_ACTIVE  = "<IMG SRC=\"first-b.gif\">";
     39#$IMG_FIRST_PASSIVE = "<IMG SRC=\"first-t.gif\">";
     40#$IMG_LAST_ACTIVE   = "<IMG SRC=\"last-b.gif\">";
     41#$IMG_LAST_PASSIVE  = "<IMG SRC=\"last-t.gif\">";
     42#$IMG_NEXT_ACTIVE   = "<IMG SRC=\"next-b.gif\">";
     43#$IMG_NEXT_PASSIVE  = "<IMG SRC=\"next-t.gif\">";
     44#$IMG_PREV_ACTIVE   = "<IMG SRC=\"previous-b.gif\">";
     45#$IMG_PREV_PASSIVE  = "<IMG SRC=\"previous-t.gif\">";
     46#$IMG_TOC           = "<IMG SRC=\"toc-b.gif\">";
     47$IMG_FIRST_ACTIVE  = "";
     48$IMG_FIRST_PASSIVE = "";
     49$IMG_LAST_ACTIVE   = "";
     50$IMG_LAST_PASSIVE  = "";
     51$IMG_NEXT_ACTIVE   = "<IMG SRC=\"next_motif.gif\">";
     52$IMG_NEXT_PASSIVE  = "<IMG SRC=\"next_motif_gr.gif\">";
     53$IMG_PREV_ACTIVE   = "<IMG SRC=\"previous_motif.gif\">";
     54$IMG_PREV_PASSIVE  = "<IMG SRC=\"previous_motif_gr.gif\">";
     55$IMG_TOC           = "<IMG SRC=\"contents_motif.gif\">";
    4756
    4857$BIBRE = '\[[\w\/]+\]';                 # RE for a bibliography reference
    … …  
    15301539
    15311540push(@menu_lines, "<BODY BACKGROUND=\"/rock.gif\">\n");
    1532 push(@menu_lines, "<IMG SRC=\"Singulars.gif\"><P>\n");
     1541push(@menu_lines, "<IMG SRC=\"singular-small.jpg\"><P>\n");
    15331542#push(@menu_lines, "<BODY BACKGROUND=\"/rock.gif\" TEXT=\"yellow\"");
    15341543#push(@menu_lines, " LINK=#FFFFFF ALINK=#FF00FF VLINK=\"#00FF00\">\n");
    … …  
    16551664            #$navigation = "<p>Go to the ";
    16561665            $navigation = "<p>";
    1657             $navigation .= ($prev_doc ? &anchor('', $first_doc, '', $IMG_FIRST_ACTIVE) : $IMG_FIRST_PASSIVE);
    1658             $navigation .= " ";
     1666            if ($IMG_FIRST_ACTIVE ne "") {
     1667                $navigation .= ($prev_doc ? &anchor('', $first_doc, '',
     1668                             $IMG_FIRST_ACTIVE) : $IMG_FIRST_PASSIVE);
     1669                $navigation .= " ";
     1670            }
    16591671            $navigation .= ($prev_doc ? &anchor('', $prev_doc, '', $IMG_PREV_ACTIVE) : $IMG_PREV_PASSIVE);
    16601672            $navigation .= " ";
    16611673            $navigation .= ($next_doc ? &anchor('', $next_doc, '', $IMG_NEXT_ACTIVE) : $IMG_NEXT_PASSIVE);
    1662             $navigation .= " ";
    1663             $navigation .= ($next_doc ? &anchor('', $last_doc, '', $IMG_LAST_ACTIVE) : $IMG_LAST_PASSIVE);
     1674            if ($IMG_LAST_ACTIVE ne "") {
     1675                $navigation .= " ";
     1676                $navigation .= ($next_doc ? &anchor('', $last_doc, '',
     1677                             $IMG_LAST_ACTIVE) : $IMG_LAST_PASSIVE);
     1678            }
    16641679            #$navigation .= " section, " . &anchor('', $docu_toc, '', "<IMG SRC=\"toc-b.gif\">") . ".\n";
    16651680            $navigation .= " " . &anchor('', $docu_toc, '', $IMG_TOC) . "\n";
Note: See TracChangeset for help on using the changeset viewer.