[Bug 41035] [PATCH] gedit Manual Page Bugs

[Richard Laager]

Public bug reported:

Affects: gedit (Ubuntu)
       Severity: Normal
       Priority: (none set)
         Status: Unconfirmed


Description:
The manual page for gedit contains a small bug. The description section
starts like this:

DESCRIPTION
       gedit gedit is the official text editor of the GNOME  desktop
environment.

"gedit" is duplicated. The first "gedit" is bold.

I started looking into this. It's a trivial fix to eliminate the
duplication. However, other man pages I looked always bolded the name of
the application. So, I made those changes as well. Attached is a patch.
I slightly reworded a couple things to eliminate the word "gedit" at the
end of the line. That way, it didn't look weird with a bolded period.

** Attachment added: "gedit.1.patch"
   http://librarian.launchpad.net/2319207/gedit.1.patch

-- 
[PATCH] gedit Manual Page Bugs
https://launchpad.net/bugs/41035