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