fixing building of the documentation

doc/Makefile

@@ -5,8 +5,8 @@ bibliography.texi localsettings.texi
 
 all: pintos.html pintos.info pintos.dvi pintos.ps pintos.pdf
 
-pintos.html: $(TEXIS) texi2html
-	./texi2html -toc_file=$@ -split=chapter -nosec_nav -nomenu -init_file pintos-t2h.init $<
+pintos.html: $(TEXIS)
+	texi2html -toc_file=$@ -split=chapter -nosec_nav -nomenu -init_file pintos-t2h.init $<
 
 pintos.info: $(TEXIS)
 	makeinfo $<

doc/standards.texi

@@ -151,7 +151,7 @@ A few of the string functions declared in the standard
 The worst offenders are intentionally not included in the Pintos C
 library:
 
-@table @func
+@table @code
 @item strcpy
 When used carelessly this function can overflow the buffer reserved
 for its output string.  Use @func{strlcpy} instead.  Refer to