Documentation Source Text

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Changes to format_evidence.tcl.

    96     96   # The input file is named $src.  The HTMLized output should be written
    97     97   # into $docdir/$dest.  The URL should be $dest with added fragment
    98     98   # information.  Evidence provided by input file $src can be found in
    99     99   # the evidence table with srccat=$srccat and srcfile=$srcfile.
   100    100   #
   101    101   proc htmlize_evidence {src srccat srcfile docdir dest} {
   102    102     htmlizer_start $src $docdir/$dest
          103  +  set up [regsub -all {[^/]+} [file dir $dest] ..]
   103    104     db eval {
   104    105        SELECT srcline, reqno, requirement.srcfile AS fn
   105    106          FROM evidence JOIN requirement USING(reqno)
   106    107         WHERE evidence.srcfile=$srcfile
   107    108           AND evidence.srccat=$srccat
   108    109         ORDER BY srcline
   109    110     } {
   110    111       htmlizer_xfer $srcline
   111    112       htmlizer_puts_raw "<a name=\"ln$srcline\"></a>"
   112    113       set line [htmlizer_gets]
   113    114       if {[regexp {^(.*)(R-\d\d\d[\d-]+)(.*$)} $line all pre link post]} {
   114    115          set pre [htmlizer_escape $pre]
   115    116          set post [htmlizer_escape $post]
   116         -       htmlizer_puts_raw "$pre<a href=\"../$fn#$reqno\">$link</a>$post\n"
          117  +       htmlizer_puts_raw "$pre<a href=\"$up/$fn#$reqno\">$link</a>$post\n"
   117    118       } else {
   118    119          htmlizer_puts $line
   119    120       }
   120    121     }
   121    122     htmlizer_finish
   122    123     db eval {
   123    124       UPDATE evidence SET url=$dest || '#ln' || srcline