Ubuntu
gnome-user-docs package

  1. Bug #768814
  2. Comment #1

Comment 1 for bug 768814

Revision history for this message
Matthew East (mdke) wrote :

It turns out that this is a problem with gnome-doc-utils, in the file gnome-doc-utils.make.

We have worked around it by including the pot files manually in the tree.