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 726938 - Delete empty "choosing.page"; already covered by map.page?
Delete empty "choosing.page"; already covered by map.page?
Status: RESOLVED FIXED
Product: gnome-mahjongg
Classification: Applications
Component: documentation
git master
Other Linux
: Normal normal
: ---
Assigned To: Maintainers of Gnome user documentation
gnome-mahjongg-maint
gnomeasia
Depends on:
Blocks:
 
 
Reported: 2014-03-23 21:54 UTC by André Klapper
Modified: 2014-08-17 18:37 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
help: remove empty page (1.41 KB, patch)
2014-08-17 18:37 UTC, Michael Catanzaro 		committed Details | Review

Description André Klapper 2014-03-23 21:54:04 UTC 
choosing.page is empty and  <link type="guide" xref="index#using"/> doesn't exist either on index.page.

I think its content is already covered by map.page ?
In that case I propose deleting the page.
Comment 1 Michael Catanzaro 2014-08-17 18:37:37 UTC 
The following fix has been pushed:
ea1d914 help: remove empty page
Comment 2 Michael Catanzaro 2014-08-17 18:37:41 UTC 
Created attachment 283677 [details] [review]
help: remove empty page