Guest24897
/
DockerCLI
mirror of https://github.com/docker/cli.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2801 from thaJeztah/fix_missing_manual_entry 

man-pages: fix missing manual title in heading
This commit is contained in:
Silvin Lubecki 2020-10-20 14:22:48 +02:00 committed by GitHub
parent 16127e2588 b46ef4659e
commit 46e24f515e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
man/generate.go
View File

@ -23,6 +23,7 @@ func generateManPages(opts *options) error {
Title: "DOCKER",
Section: "1",
Source: "Docker Community",
Manual: "Docker User Manuals",
}
// If SOURCE_DATE_EPOCH is set, in order to allow reproducible package