X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2F44bsd.texi;h=8cff146f07c17be0a1363f3c457a9be7d06e719b;hp=e44232662334d4c4db3941802a99b6280a41cba5;hb=f415a37905c57f61b444806bf84f5405184452aa;hpb=fa97205f611b922b85299e79edba9a0bbbe3cfb2 diff --git a/doc/44bsd.texi b/doc/44bsd.texi index e442326..8cff146 100644 --- a/doc/44bsd.texi +++ b/doc/44bsd.texi @@ -1,4 +1,4 @@ -@node 4.4BSD Scheduler, Coding Standards, References, Top +@node 4.4BSD Scheduler @appendix 4.4@acronym{BSD} Scheduler @iftex