diff options
| author | OpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com> | 2020-03-19 16:53:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-19 16:53:02 +0100 |
| commit | 49a7856f2efc0f301bd88b1f3ed6a8fe5d9d0dec (patch) | |
| tree | 5c08eb661c239ac2a548e35ffd548bbe29868766 /hack/man-page-checker | |
| parent | edcc73eeb2763170f03c8169f4664fc3912aab35 (diff) | |
| parent | 81005f463ef0de79b4b94bb2b78f3ac0791b2703 (diff) | |
| download | podman-49a7856f2efc0f301bd88b1f3ed6a8fe5d9d0dec.tar.gz podman-49a7856f2efc0f301bd88b1f3ed6a8fe5d9d0dec.tar.bz2 podman-49a7856f2efc0f301bd88b1f3ed6a8fe5d9d0dec.zip | |
Merge pull request #5465 from edsantiago/man_page_option_checker
New test: man page cross-ref against --help
Diffstat (limited to 'hack/man-page-checker')
| -rwxr-xr-x | hack/man-page-checker | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/hack/man-page-checker b/hack/man-page-checker index 528ff800a..17d85d65d 100755 --- a/hack/man-page-checker +++ b/hack/man-page-checker @@ -1,16 +1,6 @@ #!/bin/bash # -# man-page-name-checker - validate and cross-reference man page names -# -# FIXME as of 2019-03-20 there are still four files with inconsistent names: -# -# podman-logs.1.md NAME= podman-container-logs -# podman-info.1.md NAME= podman-system-info -# podman-rm.1.md NAME= podman-container-rm -# podman-rmi.1.md NAME= podman-image-rm -# -# If those four get renamed (with suitable symlink fixes), this script -# can be enabled in CI to prevent future inconsistencies. +# man-page-checker - validate and cross-reference man page names # die() { |