Changeset 7a9a32 in git for doc


Ignore:
Timestamp:
Jun 18, 1998, 3:26:26 PM (26 years ago)
Author:
Kai Krüger <krueger@…>
Branches:
(u'spielwiese', '73c62e0961bcfc8f1a00420b41eec2ea3c0ef6e9')
Children:
bdbe7d3cc07c84940e0e94451a9de6007ff2e2b2
Parents:
c8c3b80aa697582a89405ccbe97006dc6f19ae07
Message:
Update html-version


git-svn-id: file:///usr/local/Singular/svn/trunk@2194 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
doc
Files:
3 added
11 edited

Legend:

Unmodified
Added
Removed

  • doc/Makefile.in

    rc8c3b8 r7a9a32  
    3333                next_motif.gif next_motif_gr.gif \
    3434                previous_motif.gif previous_motif_gr.gif \
    35                 singular-small.jpg singular.jpg
     35                singular-small.jpg singular.jpg \
     36                invisible.xbm bg_left.gif bg_right.gif
    3637
    3738SINGULAR        = @SINGULAR@
    … …  
    8586        test -d html || mkdir html
    8687        cd html && ../texi2html -I .. -menu -expandinfo -number -split_node -verbose ../singular.tex
    87         ( cd html; \
    88           for img in ${IMAGES}; \
    89           do \
     88        test -d html/images || mkdir html/images
     89        for img in ${IMAGES}; \
     90        do \
    9091                echo $${img}; \
    91                 uudecode ../images/$${img}.uu; \
    92           done)
     92                uudecode images/$${img}.uu; \
     93        done
    9394        touch html
    9495

  • doc/images/contents_motif.gif.uu

    rc8c3b8 r7a9a32  
    1 begin 640 contents_motif.gif
     1begin 444 html/images/contents_motif.gif
    22M1TE&.#EA00`8`/$``+^_O^?GYV]O;UL``"'Y!`$`````+`````!!`!@```*R
    33MC(^IR^T/HYQ-&("SWKS[#W*"%83FB8;CE;:NN9;O3&?Q-N1#S7]WE@/.=B^B

  • doc/images/index_motif.gif.uu

    rc8c3b8 r7a9a32  
    1 begin 640 index_motif.gif
     1begin 444 html/images/index_motif.gif
    22M1TE&.#EA*P`8`/$``+^_O^?GYV]O;UL``"'Y!`$`````+``````K`!@```*%
    33MC(^IR^T/ES"@VHNSWE;,P(4BYU'C>98@RI+?-;!Q"ZBP3->O-9\]:^-58H,B

  • doc/images/next_motif.gif.uu

    rc8c3b8 r7a9a32  
    1 begin 640 next_motif.gif
     1begin 444 html/images/next_motif.gif
    22M1TE&.#EA)0`8`/$``+^_O^?GYV]O;UL``"'Y!`$`````+``````E`!@```)]
    33MC(^IR^V_A`&TVHOS%3+H#V+<%);?Z)GJUE4#]JYB2PVQ*P,W@.+[;MKU:CK+

  • doc/images/next_motif_gr.gif.uu

    rc8c3b8 r7a9a32  
    1 begin 640 next_motif_gr.gif
     1begin 444 html/images/next_motif_gr.gif
    22M1TE&.#EA)0`8`/$``+^_O^?GYV]O;X*"@B'Y!`$`````+``````E`!@```)]
    33MC(^IR^V_A`&TVHOS%3+H#V+<%);?Z)GJUE4#]JYB2PVQ*P,W@.+[;MKU:CK+

  • doc/images/previous_motif.gif.uu

    rc8c3b8 r7a9a32  
    1 begin 640 previous_motif.gif
     1begin 444 html/images/previous_motif.gif
    22M1TE&.#EA/P`8`/$``+^_O^?GYV]O;UL``"'Y!`$`````+``````_`!@```*M
    33MC(^IR^T/HYQ)&("SWKS[#VJ"%83FB7[CE;8NN);O3`-Q-N1ZC0V\2,)I<K\B

  • doc/images/previous_motif_gr.gif.uu

    rc8c3b8 r7a9a32  
    1 begin 640 previous_motif_gr.gif
     1begin 444 html/images/previous_motif_gr.gif
    22M1TE&.#EA/P`8`/$``+^_O^?GYV]O;X*"@B'Y!`$`````+``````_`!@```*M
    33MC(^IR^T/HYQ)&("SWKS[#VJ"%83FB7[CE;8NN);O3`-Q-N1ZC0V\2,)I<K\B

  • doc/images/singular-small.jpg.uu

    rc8c3b8 r7a9a32  
    1 begin 640 singular-small.jpg
     1begin 444 html/images/singular-small.jpg
    22M_]C_X``02D9)1@`!`0```0`!``#__@!'0U)%051/4CH@6%8@5F5R<VEO;B`S
    33M+C`P("!2978Z(#,O,S`O.3,@(%%U86QI='D@/2`Q,#`L(%-M;V]T:&EN9R`]

  • doc/images/singular.jpg.uu

    rc8c3b8 r7a9a32  
    1 begin 640 singular.jpg
     1begin 444 html/images/singular.jpg
    22M_]C_X``02D9)1@`!`0```0`!``#_VP!#``H'!P@'!@H("`@+"@H+#A@0#@T-
    33M#AT5%A$8(Q\E)"(?(B$F*S<O)BDT*2$B,$$Q-#D[/CX^)2Y$24,\2#<]/CO_

  • doc/texi2html

    rc8c3b8 r7a9a32  
    22'di ';
    33'ig 00 ';
    4 # $Id: texi2html,v 1.4 1998-06-18 09:21:40 krueger Exp $
     4# $Id: texi2html,v 1.5 1998-06-18 13:26:19 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
    … …  
    4949$IMG_LAST_ACTIVE   = "";
    5050$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\">";
     51$IMG_NEXT_ACTIVE   = "<IMG SRC=\"images/next_motif.gif\">";
     52$IMG_NEXT_PASSIVE  = "<IMG SRC=\"images/next_motif_gr.gif\">";
     53$IMG_PREV_ACTIVE   = "<IMG SRC=\"images/previous_motif.gif\">";
     54$IMG_PREV_PASSIVE  = "<IMG SRC=\"images/previous_motif_gr.gif\">";
     55$IMG_TOC           = "<IMG SRC=\"images/contents_motif.gif\">";
     56$IMG_LEFT          = "images/bg_left.gif";
     57$IMG_RIGHT         = "images/bg_right.gif";
    5658
    5759$BIBRE = '\[[\w\/]+\]';                 # RE for a bibliography reference
    … …  
    161163               "-", "&#173;",   # soft hyphen
    162164               'tab', '<TD>',
     165               '-', '',
    163166               );
    164167
    … …  
    446449    $to_skip{'end iftex'}++;
    447450}
    448 $invisible_mark = '<IMG SRC="invisible.xbm" ALT="">' if $invisible_mark eq 'xbm';
     451$invisible_mark = '<IMG SRC="images/invisible.xbm" ALT="">' if $invisible_mark eq 'xbm';
    449452die $usage unless @ARGV == 1;
    450453$docu = shift(@ARGV);
    … …  
    958961                $name =~ s/\s+$//;
    959962                $level = $sec2level{$tag};
    960                 $name = &update_sec_num($tag, $level) . "  $name"
    961                     if $number_sections && $tag !~ /^unnumbered/;
    962                 push(@left_index, $name);
     963#               print "+++==>$tag<\n";
     964                if ($number_sections && $tag !~ /heading$/) {
     965                    $name = &update_sec_num($tag, $level) . "  $name";
     966                    push(@left_index, $name);
     967                }
     968#               $name = &update_sec_num($tag, $level) . "  $name"
     969#                   if $number_sections && $tag !~ /heading$/;
     970#                   if $number_sections && $tag !~ /^unnumbered/;
    963971                if ($tag =~ /heading$/) {
    964972                    push(@lines, &html_debug("\n", __LINE__));
    … …  
    12981306        ($type, $nodes, $full) = ($1, $2, $3);
    12991307        ($before, $after) = ($`, $');
     1308        $ref_where = "Section";
    13001309        if (! $full && $after) {
    13011310            warn "$ERROR Bad xref (no ending } on line): $_";
    … …  
    13401349        &normalise_node($node);
    13411350        $sec = $node2sec{$node};
     1351        $_ = $sec;
     1352        if (/^[A-Z]/) {
     1353            $ref_where = "Appendix";
     1354        }
    13421355        if (@args == 5) { # reference to another manual
    13431356            $sec = $args[2] || $node;
    13441357            $man = $args[4] || $args[3];
    1345             $_ = "${before}${type}section `$sec' in \@cite{$man}$after";
     1358            $_ = "${before}${type}$ref_where `$sec' in \@cite{$man}$after";
    13461359        } elsif ($type =~ /Info/) { # inforef
    13471360            warn "$ERROR Wrong number of arguments: $_" unless @args == 3;
    … …  
    13501363        } elsif ($sec) {
    13511364            $href = $node2href{$node};
    1352             $_ = "${before}${type}section " . &anchor('', $href, '', $sec) . $after;
     1365            $_ = "${before}${type}" . &anchor('', $href, '', "$ref_where $sec") . $after;
    13531366        } else {
    13541367            warn "$ERROR Undefined node ($node): $_";
    … …  
    15381551print "# end of pass 4\n" if $verbose;
    15391552
    1540 push(@menu_lines, "<BODY BACKGROUND=\"/rock.gif\">\n");
    1541 push(@menu_lines, "<IMG SRC=\"singular-small.jpg\"><P>\n");
     1553push(@menu_lines, "<BODY BACKGROUND=\"$IMG_LEFT\">\n");
     1554push(@menu_lines, "<A HREF=\"http://www.mathematik.uni-kl.de/~zca/Singular\" TARGET=\"_parent\">");
     1555push(@menu_lines, "<IMG SRC=\"images/singular-small.jpg\"></A><P>\n");
    15421556#push(@menu_lines, "<BODY BACKGROUND=\"/rock.gif\" TEXT=\"yellow\"");
    15431557#push(@menu_lines, " LINK=#FFFFFF ALINK=#FF00FF VLINK=\"#00FF00\">\n");
    … …  
    19371951        $descr = ": $descr" if $descr;
    19381952        push(@menu_lines, "$oltype VALUE=$value>" . &anchor('', $href, "Main", $entry) . "$descr\n");
     1953        push(@menu_lines, "<P>\n");
    19391954    } else {
    19401955        warn "$ERROR Undefined node ($node): $_";
    … …  
    19942009    $text = $address unless $text;
    19952010    $address =~ s/&#173;//g;
    1996     &anchor('', "${address}", '', "<TT>${text}</TT>")
     2011    &anchor('', "${address}", '_parent', "<TT>${text}</TT>")
    19972012}
    19982013
    … …  
    21612176</HEAD>
    21622177EOT
    2163     if(!$is_frame) { print FILE "<BODY background=\"/rock.gif\">\n"; }
     2178    if(!$is_frame) { print FILE "<BODY background=\"$IMG_RIGHT\">\n"; }
    21642179}
    21652180
    … …  
    21992214    &print_ruler;
    22002215    print FILE <<EOT;
    2201 This document was generated on $TODAY using the
    2202 <A HREF=\"$HOMEPAGE\">texi2html</A>
    2203 translator version 1.51a.</P>
     2216<H6>This document was generated on $TODAY using the
     2217<A HREF=\"$HOMEPAGE\" TARGET=\"_parent\">texi2html</A>
     2218translator version 1.51a.</H6>
    22042219EOT
    22052220    &print_footer;
Note: See TracChangeset for help on using the changeset viewer.