From 1bdc52e105849c029c8d6e9dfde505a66d91c5da Mon Sep 17 00:00:00 2001
From: John Ousterhout <ouster@cs.stanford.edu>
Date: Wed, 28 Mar 2018 09:59:11 -0700
Subject: [PATCH] Fix problems compiling documentation * Two warnings
 (deprecated regex syntax) * One error (couldn't find pintos-t2h.init without
 "./" prefix)

---
 doc/Makefile  | 2 +-
 doc/texi2html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 95dd71b..9e0e994 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,7 +6,7 @@ bibliography.texi localsettings.texi
 all: pintos.html pintos.info pintos.pdf
 
 pintos.html: $(TEXIS) texi2html
-	./texi2html -toc_file=$@ -split=chapter -nosec_nav -nomenu -init_file pintos-t2h.init $<
+	./texi2html -toc_file=$@ -split=chapter -nosec_nav -nomenu -init_file ./pintos-t2h.init $<
 
 pintos.info: $(TEXIS)
 	makeinfo $<
diff --git a/doc/texi2html b/doc/texi2html
index 30416a6..7cb22fa 100755
--- a/doc/texi2html
+++ b/doc/texi2html
@@ -6163,7 +6163,7 @@ sub substitute_style
     {
         $changed = 0;
         $done = '';
-        while (/\@(\w+){([^\{\}]+)}/ || /\@(,){([^\{\}]+)}/)
+        while (/\@(\w+)\{([^\{\}]+)}/ || /\@(,)\{([^\{\}]+)}/)
         {
             $text = &apply_style($1, $2);
             if ($text)
-- 
2.30.2