Hi Luca, Thanks for the comment.
On Sun, Jan 4, 2009 at 3:41 PM, Luca Falavigna <dktrkr...@ubuntu.com> wrote: > On my system (Jaunty), /usr/share/gnome/help/libs is a directory. > > This is probably because debian/rules tries to create that directory > while installing documents with commands included below the comment > "Install the documents; skip documents which are less than 75% translated" > > In particular, these lines seem responsible to actually create the above > directory: > if [ -e $$doc/$$lang/$$doc.xml ]; then \ > mkdir -p debian/ubuntu-docs/usr/share/gnome/help/$$doc/$$lang/; \ > cp $$doc/$$lang/*xml > debian/ubuntu-docs/usr/share/gnome/help/$$doc/$$lang/; \ > fi I don't think those lines should create a directory called "libs", they should only create directories with the names of documents ($$doc). Could you explain further why you think that those lines are responsible for the problem? -- Matthew East http://www.mdke.org gnupg pub 1024D/0E6B06FF -- System->About Ubuntu homepage has glitchy "Thank you" line https://bugs.launchpad.net/bugs/303578 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
