After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 664167 - [PATCH] devhelp 3.2.0 expects .devhelp2 file to match directory name
[PATCH] devhelp 3.2.0 expects .devhelp2 file to match directory name
Status: RESOLVED FIXED
Product: vala
Classification: Core
Component: Documentation
unspecified
Other Linux
: Normal normal
: ---
Assigned To: Vala maintainers
Vala maintainers
Depends on:
Blocks:
 
 
Reported: 2011-11-16 03:06 UTC by Jason Conti
Modified: 2011-11-20 23:20 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Rename the .devhelp2 file to match the directory (916 bytes, patch)
2011-11-16 03:06 UTC, Jason Conti 		none Details | Review

Description Jason Conti 2011-11-16 03:06:56 UTC 
Created attachment 201504 [details] [review]
Rename the .devhelp2 file to match the directory

When searching for devhelp books, devhelp 3.2.0 (possibly earlier, since the book-manager was added) expects the .devhelp2 filename to match the directory name. Attaching a patch against doc/vala/Makefile.am so the vala documentation will show up in devhelp again.
Comment 1 Luca Bruno 2011-11-20 23:20:52 UTC 
commit da112cb6cbafe471b0264fe292a5f18b01745d69
Author: Jason Conti <jason.conti@gmail.com>
Date:   Mon Nov 21 00:17:23 2011 +0100

    docs: Rename the .devhelp2 file to match the directory name
    
    When searching for devhelp books, devhelp expects the .devhelp2 filename
    to match the directory name.
    
    Fixes bug 664167.

This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.