Opened 4 weeks ago
Closed 4 weeks ago
#5646 closed enhancement (fixed)
man-pages-6.11
Reported by: | Bruce Dubbs | Owned by: | Xi Ruoyao |
---|---|---|---|
Priority: | normal | Milestone: | 12.3 |
Component: | Book | Version: | git |
Severity: | normal | Keywords: | |
Cc: |
Description ¶
I think we can put this into the 12.3 milestone.
Change History (7)
comment:1 by , 4 weeks ago
comment:3 by , 4 weeks ago
It also installs a few scripts:
INSTALL /usr/bin/diffman-git INSTALL /usr/bin/mansect INSTALL /usr/bin/pdfman INSTALL /usr/bin/sortman
and we'll need to add them into contents.
follow-up: 5 comment:4 by , 4 weeks ago
I'm seeing 1377 of these messages in my build:
fatal: not a git repository (or any of the parent directories): .git
comment:5 by , 4 weeks ago
Replying to Joe Locash:
I'm seeing 1377 of these messages in my build:
fatal: not a git repository (or any of the parent directories): .git
Passing GIT=false
will silence them.
comment:6 by , 4 weeks ago
Owner: | changed from | to
---|---|
Status: | new → assigned |
comment:7 by , 4 weeks ago
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
Fixed r12.2-103-g5616cb8ee.
Note:
See TracTickets
for help on using tickets.
New and rewritten pages
man7/
Global changes
Changes to individual files
The manual pages and other files in the repository have been improved beyond what this changelog covers. To learn more about changes applied to individual pages, or the authors of changes, use git(1).