diff options
author | Sébastien Wilmet <swilmet@informatique-libre.be> | 2023-04-11 16:00:00 +0200 |
---|---|---|
committer | Sébastien Wilmet <swilmet@informatique-libre.be> | 2023-04-11 16:00:00 +0200 |
commit | 28cfd00df6ff55963e37e8703b78f64bb6a76b1d (patch) | |
tree | 1d706dc3216d955b1a1d53983eb2d22e434f62e7 | |
parent | 86c921302926d6bc34b51e42f1b32433c032decb (diff) | |
download | gedit-28cfd00df6ff55963e37e8703b78f64bb6a76b1d.tar.gz |
docs: have same app description in doap, AppData and manpage
And the README.md and in the user manual (in help/C/gedit-brief-intro.page).
-rw-r--r-- | data/gedit.1 | 12 | ||||
-rw-r--r-- | data/org.gnome.gedit.appdata.xml.in | 9 | ||||
-rw-r--r-- | gedit.doap | 9 |
3 files changed, 16 insertions, 14 deletions
diff --git a/data/gedit.1 b/data/gedit.1 index 269d5b9fa..7f2a6756b 100644 --- a/data/gedit.1 +++ b/data/gedit.1 @@ -1,6 +1,6 @@ .TH GEDIT 1 "17 July 2022" .SH NAME -\fBgedit\fP \- general-purpose text editor +\fBgedit\fP \- a general-purpose text editor .SH SYNOPSIS .br @@ -12,12 +12,12 @@ .SH DESCRIPTION .B gedit -is a general-purpose text editor. +is an easy-to-use and general-purpose text editor. Its development started +in 1998, at the beginnings of the GNOME project, with a good integration with +that desktop environment. -The first goal of -.B gedit -is to be easy to use, with a simple interface by default. More advanced features -are available by enabling plugins. +You can use it to write simple notes and documents, or you can enable more +advanced features that are useful for software development. .LP .SH OPTIONS diff --git a/data/org.gnome.gedit.appdata.xml.in b/data/org.gnome.gedit.appdata.xml.in index 97c91ca57..3ef03684b 100644 --- a/data/org.gnome.gedit.appdata.xml.in +++ b/data/org.gnome.gedit.appdata.xml.in @@ -8,12 +8,13 @@ <summary>Text editor</summary> <description> <p> - gedit is a general-purpose text editor. It has been created in 1998, at - the beginnings of GNOME. + gedit is an easy-to-use and general-purpose text editor. Its development + started in 1998, at the beginnings of the GNOME project, with a good + integration with that desktop environment. </p> <p> - The first goal of gedit is to be easy to use, with a simple interface by - default. More advanced features are available by enabling plugins. + You can use it to write simple notes and documents, or you can enable more + advanced features that are useful for software development. </p> </description> <kudos> diff --git a/gedit.doap b/gedit.doap index 6e43ae06d..d183690a7 100644 --- a/gedit.doap +++ b/gedit.doap @@ -8,11 +8,12 @@ <name>gedit</name> <shortdesc xml:lang="en">gedit, a text editor</shortdesc> <description xml:lang="en"> -gedit is a general-purpose text editor. It has been created in 1998, at the -beginnings of GNOME. +gedit is an easy-to-use and general-purpose text editor. Its development started +in 1998, at the beginnings of the GNOME project, with a good integration with +that desktop environment. -The first goal of gedit is to be easy to use, with a simple interface by -default. More advanced features are available by enabling plugins. +You can use it to write simple notes and documents, or you can enable more +advanced features that are useful for software development. </description> <homepage rdf:resource="http://www.gedit.org" /> |