diff options
Diffstat (limited to '')
-rw-r--r-- | tags/p/package-contains-info-dir-file.tag | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tags/p/package-contains-info-dir-file.tag b/tags/p/package-contains-info-dir-file.tag new file mode 100644 index 0000000..7354361 --- /dev/null +++ b/tags/p/package-contains-info-dir-file.tag @@ -0,0 +1,10 @@ +Tag: package-contains-info-dir-file +Severity: error +Check: documentation +Explanation: This package contains a file named <code>dir</code> or <code>dir.old</code>, + possibly compressed, in <code>/usr/share/info</code>. This is the directory + (or backup) of info pages and is generated automatically by install-info + when a package containing info documentation is installed. Some upstream + build systems create it automatically, but it must not be included in a + package since it needs to be generated dynamically based on the installed + info files on the system. |