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 691923 - Don't rebuild docs on every "make" run.
Don't rebuild docs on every "make" run.
Status: RESOLVED FIXED
Product: folks
Classification: Platform
Component: general
git master
Other All
: Normal normal
: Unset
Assigned To: folks-maint
folks-maint
Depends on:
Blocks:
 
 
Reported: 2013-01-17 06:10 UTC by Daiki Ueno
Modified: 2013-01-18 09:51 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Don't rebuild docs every "make" run. (5.51 KB, patch)
2013-01-17 06:10 UTC, Daiki Ueno 		committed Details | Review

Description Daiki Ueno 2013-01-17 06:10:27 UTC 
If configured with "--enable-docs", documentation is always regenerated when running make, even if no source file is modified.  This is a slight pain because valadoc invocation takes some time.  It might be good to use timestamp files (like gtk-doc.make) to avoid redundant invocation of valadoc.
Comment 1 Daiki Ueno 2013-01-17 06:10:29 UTC 
Created attachment 233649 [details] [review]
Don't rebuild docs every "make" run.

Create timestamp files to avoid redundant valadoc invocation.
Comment 2 Philip Withnall 2013-01-18 08:47:11 UTC 
Review of attachment 233649 [details] [review]:

Looks good. Please add a NEWS entry and commit to master. Thanks.
Comment 3 Daiki Ueno 2013-01-18 09:51:46 UTC 
Thanks, pushed.