From f3a8c6675fdfc6ff66ddea58414bf84f89e6177c Mon Sep 17 00:00:00 2001
From: Benjamin Peterson <benjamin@python.org>
Date: Tue, 6 Apr 2010 23:32:27 +0000
Subject: [PATCH] tell people to update python.man, too

---
 Doc/using/cmdline.rst | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Doc/using/cmdline.rst b/Doc/using/cmdline.rst
index 7ccf8f074f6..afb8e65e851 100644
--- a/Doc/using/cmdline.rst
+++ b/Doc/using/cmdline.rst
@@ -1,5 +1,8 @@
 .. highlightlang:: none
 
+.. ATTENTION: You probably should update Misc/python.man, too, if you modify
+.. this file.
+
 .. _using-on-general:
 
 Command line and environment