Opened 7 months ago
Closed 7 months 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 , 7 months ago
comment:3 by , 7 months 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 , 7 months 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 , 7 months 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 , 7 months ago
Owner: | changed from | to
---|---|
Status: | new → assigned |
comment:7 by , 7 months 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).