# HG changeset patch
# User Olivier Delalleau <delallea@iro>
# Date 1286554076 14400
# Node ID 7185d194bb7e9218a7d6c6647e14c218622c0576
# Parent  565e4ef0bfbd411ca25be1cb8ac3a4777d95e064
Added question about doc format in file header

diff -r 565e4ef0bfbd -r 7185d194bb7e doc/v2_planning/coding_style.txt
--- a/doc/v2_planning/coding_style.txt	Fri Oct 08 12:00:05 2010 -0400
+++ b/doc/v2_planning/coding_style.txt	Fri Oct 08 12:07:56 2010 -0400
@@ -618,4 +618,9 @@
 DWF: Finish guidelines for serializable code
 FB: Write guidelines for commits
 
+Doc format in header?
+---------------------
 
+OD: Should we add in each file's header something like:
+    __docformat__ = "restructuredtext en"
+