GNOME Bugzilla – Bug 750484
Delete GNU Texinfo dir file and handle it with a trigger
Last modified: 2015-06-14 06:58:32 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.
Created attachment 304690 [details] [review] Delete GNU Texinfo dir file and handle it with a trigger
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)
Renamed and pushed as 3d1ba73 - Delete GNU Texinfo dir file and handle it with a trigger