X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=f80a80c28ad0ac6e705447fee78900b3380bb74c;hb=28034190e6ffa80204e6ab29b2968d8c5ba178b9;hp=2b7edb46b36cf4984bf201c227b6391aa254c6c6;hpb=a9211d5f5546b7b47087850e058ec97e92a85093;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 2b7edb4..f80a80c 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -516,6 +516,10 @@ restore registers before and after a function call, you need to write
 the stack pointer, you have a couple of jumps which probably wrecks
 some of your caches.  This is why inlining code can be much faster.
 
+@menu
+* Argument Passing to main::    
+@end menu
+
 @node Argument Passing to main
 @subsection Argument Passing to @code{main()}