allowing "+" in .html file names

[Ben Pfaff]

GNU libavl's manual has some anchor names that differ just in one
character, "-" in one of them, "+" in the other.  For the purpose
of converting these to HTML with makeinfo, it would be nice if
"+" were considered acceptable in .html file names.  RFC 2396
says that "+" is okay in URI path components and I don't know of
any mainstream OSes that disallow it in file names.

I've applied the following patch to my local copy of Texinfo.  It
would be nice if it could make it into the upstream version in
the next release:

--- tmp/texinfo-4.2/makeinfo/html.c     Mon Apr  1 06:03:36 2002
+++ texinfo-4.2/makeinfo/html.c Sun Apr 28 19:57:54 2002
@@ -228,7 +228,7 @@
     add_nodename_to_filename (nodename, href);
 }
 
-/* Only allow [-0-9a-zA-Z_.] when nodifying filenames.  This may
+/* Only allow [-0-9a-zA-Z_.+] when nodifying filenames.  This may
    result in filename clashes; e.g.,
 
    @node Foo ],,,
@@ -243,7 +243,7 @@
   char *p;
   for (p = filename; *p; p++)
     {
-      if (!(isalnum (*p) || strchr ("-._", *p)))
+      if (!(isalnum (*p) || strchr ("-._+", *p)))
        *p = '-';
     }
 }


-- 
<address@hidden> <address@hidden> <address@hidden> <address@hidden>
Stanford Ph.D. Student - MSU Alumnus - Debian Maintainer - GNU Developer
Personal webpage: http://www.msu.edu/~pfaffben