File: create_index

package info (click to toggle)
maxima 5.47.0-9
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 193,104 kB
  • sloc: lisp: 434,678; fortran: 14,665; tcl: 10,990; sh: 4,577; makefile: 2,763; ansic: 447; java: 328; python: 262; perl: 201; xml: 60; awk: 28; sed: 15; javascript: 2
file content (18 lines) | stat: -rw-r--r-- 771 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
Description: sname->sid in create_index
 Replace sname with sid in create_index
Forwarded: not-needed
Author: Camm Maguire <camm@debian.org>

Index: maxima-5.47.0/doc/info/create_index
===================================================================
--- maxima-5.47.0.orig/doc/info/create_index
+++ maxima-5.47.0/doc/info/create_index
@@ -23,7 +23,7 @@ while (<MAXIMA_TOC>)  {
         print CONTENTS "</ul>\n";
     } 
 
-    if ( m#.*?<li><a\sname="(.*?)"\shref="(.*?)">.*?\s(.*?)</a># ) {
+    if ( m#.*?<li><a\sid="(.*?)"\shref="(.*?)">.*?\s(.*?)</a># ) {
         print CONTENTS "<li><object type=\"text/sitemap\">\n";
         print CONTENTS "   <param name=\"Local\" value=\"$2\">\n";
         print CONTENTS "   <param name=\"Name\" value=\"$3\"></object>\n";