gnome-doc-tool crashes when converting .page files

Thanks for your work, is that still an issue? Ideally the fix should be sent to GNOME for review

This bug does not appear in Ubuntu Natty 11.04 alpha so is no longer an issue.

On 10/03/2011, Sebastien Bacher <email address hidden> wrote:
> Thanks for your work, is that still an issue? Ideally the fix should be
> sent to GNOME for review
>
> ** Changed in: gnome-doc-utils (Ubuntu)
> Importance: Undecided => Low
>
> --
> You received this bug notification because you are a direct subscriber
> of the bug.
> https://bugs.launchpad.net/bugs/695069
>
> Title:
> gnome-doc-tool crashes when converting .page files
>
> Status in “gnome-doc-utils” package in Ubuntu:
> New
>
> Bug description:
> Binary package hint: gnome-doc-utils
>
> I have recently been attempting to export the documentation (created using
> Mallard) of a project on which I have been working to html using
> gnome-doc-utils but gnome-doc-tools consistently fails to convert the .page
> files, producing the following error:
> gnome-doc-tool: 1: Bad substitution
> and others leading from it.
>
> This is due to gnome-doc-tool's urlencode and urldecode function
> making use of a feature specific to the bash shell (c=${arg:$i:1}) to
> select a character from a string whereas the script's shell is
> specified as /bin/sh. I have attached a patch which replaces all
> instances of this by using the standard Unix cut utility which should
> completely fix this issue.
>
> To unsubscribe from this bug, go to:
> https://bugs.launchpad.net/ubuntu/+source/gnome-doc-utils/+bug/695069/+subscribe
>

Yes, they do appear to have fixed this in Natty by setting the script's shell to /bin/bash