From 02795db21fbcb2bfb2039dd8d173fc59ba757de1 Mon Sep 17 00:00:00 2001 From: Graham Percival Date: Sun, 28 Oct 2007 22:05:12 -0700 Subject: [PATCH] Policy update. --- Documentation/user/policy.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Documentation/user/policy.txt b/Documentation/user/policy.txt index 148b4f681b..cc716cf8d2 100644 --- a/Documentation/user/policy.txt +++ b/Documentation/user/policy.txt @@ -260,6 +260,8 @@ main docs do not bother with the @code{} (they are added automatically). These items are added to both the command index and the unified index. + Both index commands should go in front of the actual material. + * Abbrevs in caps, e.g., HTML, DVI, MIDI, etc. * Colon usage -- 2.39.5