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)
commit21e1ee033ed1c3c41454789ec8c57c7f3a88daf9
tree26eead29ccb6eb3174ebc154efeb0529f3d2c0c3
parente08b0009571075c76b710f3051aac1b2f204ae5d
Fix Info file name.
doc/pintos.texi