X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdoc.texi;h=b2b3b5cb8b47a6d9e22ded0157eef5e39652fa56;hb=bfb92f77a268d3b9981e399d0b0dba7b5b4a49f4;hp=f3465fa1f4dedf696a2438a1124d5b5548a4e8f7;hpb=1525d662193fdfb3f029b6f06a163921f1bb954d;p=pintos-anon

diff --git a/doc/doc.texi b/doc/doc.texi
index f3465fa..b2b3b5c 100644
--- a/doc/doc.texi
+++ b/doc/doc.texi
@@ -10,7 +10,9 @@ Your submission should have exactly one of each file, in the
 appropriate directory (e.g.@: for Assignment 1, place the files in the
 @file{threads} directory).  These files must be written in plain text
 format (not Microsoft Word, not PDF).  We recommend a text width of 65
-characters per line, with a hard limit of 80.
+characters per line, with a hard limit of 80.  If you use tab characters
+in your document files, be sure that your text editor's tab width is set
+to 8.
 
 @menu
 * README::