From: Ben Pfaff 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::