update

diff --git a/Documentation/user/policy.txt b/Documentation/user/policy.txt
index cc716cf8d2df1a156a0f4fce1b9e674e909b4fb0..98010e43a7dfbb7cd73fcc48b534796d6d226de4 100644 (file)
--- a/Documentation/user/policy.txt
+++ b/Documentation/user/policy.txt
@@ -73,6 +73,8 @@ main docs
 
     Program reference: @internalsref{fazzle}, @internalsref{booar}.
 
+    Installed files: @file{blahz}.
+
   ("Snippets" is REQUIRED; the others are optional)
 
 * To create links, use @ref{} if the link is within the same