diff options
Diffstat (limited to 'sys-process/time/files/1.7-info-dir-entry.patch')
-rw-r--r-- | sys-process/time/files/1.7-info-dir-entry.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/sys-process/time/files/1.7-info-dir-entry.patch b/sys-process/time/files/1.7-info-dir-entry.patch new file mode 100644 index 000000000000..eb30029722bb --- /dev/null +++ b/sys-process/time/files/1.7-info-dir-entry.patch @@ -0,0 +1,12 @@ +--- a/time.info ++++ b/time.info +@@ -19,6 +19,9 @@ + manual into another language, under the above conditions for modified + versions, except that this permission notice may be stated in a + translation approved by the Foundation. ++START-INFO-DIR-ENTRY ++* time: (time). summarize system resources used ++END-INFO-DIR-ENTRY + + + File: time.info, Node: Top, Prev: (dir), Up: (dir) |