devhelp-bookdir.patch

   1 diff -urN devhelp-2.32.0/src/dh-book-manager.c devhelp-2.32.0.new//src/dh-book-manager.c
   2 --- devhelp-2.32.0/src/dh-book-manager.c        2010-09-13 12:10:02.000000000 +0200
   3 +++ devhelp-2.32.0.new//src/dh-book-manager.c   2010-09-30 22:25:57.471564288 +0200
   4 @@ -145,6 +145,10 @@
   5          dir = g_build_filename (data_dir, "gtk-doc", "html", NULL);
   6          book_manager_add_from_dir (book_manager, dir);
   7          g_free (dir);
   8 +
   9 +        dir = g_build_filename (data_dir, "doc", "gtk-doc", "html", NULL);
  10 +        book_manager_add_from_dir (book_manager, dir);
  11 +        g_free (dir);
  12
  13          dir = g_build_filename (data_dir, "devhelp", "books", NULL);
  14          book_manager_add_from_dir (book_manager, dir);