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 750484 - Delete GNU Texinfo dir file and handle it with a trigger
Delete GNU Texinfo dir file and handle it with a trigger
Status: RESOLVED FIXED
Product: jhbuild
Classification: Infrastructure
Component: general
unspecified
Other FreeBSD
: Normal normal
: ---
Assigned To: Jhbuild maintainers
Jhbuild QA
Depends on:
Blocks:
 
 
Reported: 2015-06-06 13:13 UTC by Ting-Wei Lan
Modified: 2015-06-14 06:58 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Delete GNU Texinfo dir file and handle it with a trigger (4.12 KB, patch)
2015-06-06 13:14 UTC, Ting-Wei Lan
reviewed Details | Review

Description Ting-Wei Lan 2015-06-06 13:13:52 UTC
There are a few modules that have documentation in GNU Texinfo format, such as libgtop and guile. They usually generates a new dir file when running 'make install', and the newly generated dir file, which contains only one entry, is copied into jhbuild prefix by jhbuild.

This make texinfo documentation less useful because there are always some documents not showing in info. The attached patch fixes the problem by deleting the dir file and add a new trigger to generate it after installation.
Comment 1 Ting-Wei Lan 2015-06-06 13:14:49 UTC
Created attachment 304690 [details] [review]
Delete GNU Texinfo dir file and handle it with a trigger
Comment 2 Frederic Peters 2015-06-14 06:33:18 UTC
Comment on attachment 304690 [details] [review]
Delete GNU Texinfo dir file and handle it with a trigger

Could you rename _clean_dir_files to _clean_texinfo_dir_files?  (and then it's fine to push without getting back to bugzilla)
Comment 3 Ting-Wei Lan 2015-06-14 06:58:32 UTC
Renamed and pushed as 3d1ba73 - Delete GNU Texinfo dir file and handle it with a trigger