Public bug reported: 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. ** Affects: gnome-doc-utils (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/695069 Title: gnome-doc-tool crashes when converting .page files -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs