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 704633 - extra: Switch from gnome-doc-utils to yelp-tools
extra: Switch from gnome-doc-utils to yelp-tools
Status: RESOLVED FIXED
Product: anjuta
Classification: Applications
Component: plugins: editor: scintilla
unspecified
Other All
: Normal normal
: ---
Assigned To: Sébastien Granjoux
Anjuta maintainers
Depends on:
Blocks: 681609
 
 
Reported: 2013-07-21 02:47 UTC by Jeremy Bicha
Modified: 2013-07-21 17:06 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
extra: Switch from gnome-doc-utils to yelp-tools (1.07 KB, patch)
2013-07-21 02:47 UTC, Jeremy Bicha 		committed Details | Review

Description Jeremy Bicha 2013-07-21 02:47:06 UTC 
https://live.gnome.org/GnomeGoals/NewDocumentationInfrastructure

This page wasn't working since Anjuta has already moved to the new location
https://git.gnome.org/browse/anjuta/commit/?id=02fad1

On the other hand, the page is mostly hidden since it's only visible on the
(full) Index page
Comment 1 Jeremy Bicha 2013-07-21 02:47:08 UTC 
Created attachment 249735 [details] [review]
extra: Switch from gnome-doc-utils to yelp-tools
Comment 2 Sébastien Granjoux 2013-07-21 06:58:55 UTC 
Review of attachment 249735 [details] [review]:

Thank you for your patch, I have committed it.