Fix Info file name.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 1 Dec 2004 19:40:12 +0000 (19:40 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 1 Dec 2004 19:40:12 +0000 (19:40 +0000)
commit9f6a072593f75a3ef8337156940d7cf1c090966d
tree3fd2743b4c9cd0157aeec1cbe83dff1256e0f2ef
parentb09f5e5075c6840d6f7601857840b3de3d5de521
Fix Info file name.
doc/pintos.texi