From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 18 Oct 2004 18:42:47 +0000 (+0000)
Subject: Document tab width.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bfb92f77a268d3b9981e399d0b0dba7b5b4a49f4;p=pintos-anon

Document tab width.
---

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::