diff options
| author | Juergen Daubert <jue@jue.li> | 2015-07-29 16:34:44 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2015-07-29 16:34:44 +0200 |
| commit | 5963869762d078e249e3869ae9df9b23d6b5e8da (patch) | |
| tree | 83e807b59a674f70c5986ebd15c1a9a01b4edc8d | |
| parent | d1fb1b048395047d7c3e96f61efe1c8a4b7a4a49 (diff) | |
| download | prt-utils-5963869762d078e249e3869ae9df9b23d6b5e8da.tar.gz prt-utils-5963869762d078e249e3869ae9df9b23d6b5e8da.tar.xz | |
prtverify: allow /usr/share/man and /usr/man as man-page location for now
| -rw-r--r-- | lib/prtverify/30_invalid_dirs.awk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/prtverify/30_invalid_dirs.awk b/lib/prtverify/30_invalid_dirs.awk index 2a256a8..483de21 100644 --- a/lib/prtverify/30_invalid_dirs.awk +++ b/lib/prtverify/30_invalid_dirs.awk @@ -7,13 +7,14 @@ BEGIN { - invalid_dirs[1] = "^usr/share/man/$" + # invalid_dirs[1] = "^usr/share/man/$" invalid_dirs[2] = "^usr/local/$" invalid_dirs[3] = "^usr/share/locale/$" invalid_dirs[4] = "^usr/info/$" invalid_dirs[5] = "^usr/share/info/$" invalid_dirs[6] = "^usr/libexec/$" invalid_dirs[7] = "^usr/man/../$" + invalid_dirs[8] = "^usr/share/man/../$" } |