diff options
| author | Juergen Daubert <jue@jue.li> | 2017-05-05 12:39:19 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2017-05-08 13:30:41 +0200 |
| commit | cee4e08a410050a7c009a653010033ff4ef36b64 (patch) | |
| tree | 760ea31f9f0c60a51b418b8e9894d0db19a0fa24 | |
| parent | a9d429461bc49ae6b4405c8e08d5d5fc6e6ada0e (diff) | |
| download | prt-utils-cee4e08a410050a7c009a653010033ff4ef36b64.tar.gz prt-utils-cee4e08a410050a7c009a653010033ff4ef36b64.tar.xz | |
prtverify: /usr/man is no longer a valid dir
| -rw-r--r-- | lib/prtverify/30_invalid_dirs.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/prtverify/30_invalid_dirs.awk b/lib/prtverify/30_invalid_dirs.awk index 483de21..8063ced 100644 --- a/lib/prtverify/30_invalid_dirs.awk +++ b/lib/prtverify/30_invalid_dirs.awk @@ -1,13 +1,13 @@ # # 30_invalid_dirs.awk # -# Version 0.1.3 - 2006-09-24 +# Version 0.1.4 - 2017-05-05 # Juergen Daubert <jue at jue dot li> BEGIN { - # invalid_dirs[1] = "^usr/share/man/$" + invalid_dirs[1] = "^usr/man/$" invalid_dirs[2] = "^usr/local/$" invalid_dirs[3] = "^usr/share/locale/$" invalid_dirs[4] = "^usr/info/$" |