branch: externals/debbugs
commit 9d441292acd3a176176ca994100041992b9fe500
Author: Michael Albinus <[email protected]>
Commit: Michael Albinus <[email protected]>
Grammar fixes in debbugs manuals
---
debbugs-ug.info | 24 ++++++++++++------------
debbugs-ug.texi | 2 +-
debbugs.info | 14 +++++++-------
debbugs.texi | 2 +-
4 files changed, 21 insertions(+), 21 deletions(-)
diff --git a/debbugs-ug.info b/debbugs-ug.info
index 0e0b1e4..1529d64 100644
--- a/debbugs-ug.info
+++ b/debbugs-ug.info
@@ -30,7 +30,7 @@ Debbugs User Guide
******************
Debbugs is a bugtracking system (BTS) that was initially written for the
-Debian project but actually used also by the GNU project. The main
+Debian project but currently used also by the GNU project. The main
distinctive feature of Debbugs is that it's mostly email-based. All
actions on bug reports: opening, closing, changing the status,
commenting, forwarding are performed via email by sending specially
@@ -525,16 +525,16 @@ Key Index
Tag Table:
Node: Top1087
-Node: Retrieving Bugs2563
-Node: Searching Bugs6085
-Ref: Searching Bugs-Footnote-19954
-Ref: Searching Bugs-Footnote-210042
-Node: Layout10133
-Node: Tabulated Lists10611
-Node: TODO Items13045
-Node: Control Messages14310
-Node: Command Index16470
-Node: Variable Index17054
-Node: Key Index17570
+Node: Retrieving Bugs2564
+Node: Searching Bugs6086
+Ref: Searching Bugs-Footnote-19955
+Ref: Searching Bugs-Footnote-210043
+Node: Layout10134
+Node: Tabulated Lists10612
+Node: TODO Items13046
+Node: Control Messages14311
+Node: Command Index16471
+Node: Variable Index17055
+Node: Key Index17571
End Tag Table
diff --git a/debbugs-ug.texi b/debbugs-ug.texi
index 453487c..422bb1b 100644
--- a/debbugs-ug.texi
+++ b/debbugs-ug.texi
@@ -41,7 +41,7 @@ and modified without restriction.
@top Debbugs User Guide
Debbugs is a bugtracking system (BTS) that was initially written for
-the Debian project but actually used also by the GNU project. The
+the Debian project but currently used also by the GNU project. The
main distinctive feature of Debbugs is that it's mostly email-based.
All actions on bug reports: opening, closing, changing the status,
commenting, forwarding are performed via email by sending specially
diff --git a/debbugs.info b/debbugs.info
index 95c5372..fe4a55e 100644
--- a/debbugs.info
+++ b/debbugs.info
@@ -30,7 +30,7 @@ Debbugs Programmer's Manual
***************************
Debbugs is a bugtracking system (BTS) that was initially written for the
-Debian project but actually used also by the GNU project. The main
+Debian project but currently used also by the GNU project. The main
distinctive feature of Debbugs is that it's mostly email-based. All
actions on bug reports: opening, closing, changing the status,
commenting, forwarding are performed via email by sending specially
@@ -531,11 +531,11 @@ package names as user identification.
Tag Table:
Node: Top1089
-Node: Installation3042
-Node: Configuration4141
-Node: Requesting bug numbers6047
-Node: Requesting bugs statuses11275
-Node: Requesting messages15326
-Node: Requesting user tags18342
+Node: Installation3043
+Node: Configuration4142
+Node: Requesting bug numbers6048
+Node: Requesting bugs statuses11276
+Node: Requesting messages15327
+Node: Requesting user tags18343
End Tag Table
diff --git a/debbugs.texi b/debbugs.texi
index c26717a..c976d98 100644
--- a/debbugs.texi
+++ b/debbugs.texi
@@ -41,7 +41,7 @@ and modified without restriction.
@top Debbugs Programmer's Manual
Debbugs is a bugtracking system (BTS) that was initially written for
-the Debian project but actually used also by the GNU project. The
+the Debian project but currently used also by the GNU project. The
main distinctive feature of Debbugs is that it's mostly email-based.
All actions on bug reports: opening, closing, changing the status,
commenting, forwarding are performed via email by sending specially
