Fix problems compiling documentation
authorJohn Ousterhout <ouster@cs.stanford.edu>
Wed, 28 Mar 2018 16:59:11 +0000 (09:59 -0700)
committerJohn Ousterhout <ouster@cs.stanford.edu>
Wed, 28 Mar 2018 17:03:09 +0000 (10:03 -0700)
commitc3f2bdb4fcd99dca631962dccb21214e2847f3a3
treebc7a6e9ebaa10a63ce979d2da15794761ea3faf4
parent1bc4f6f7b325a177e7ddf0d7039cb5c7921dd721
Fix problems compiling documentation
* Two warnings (deprecated regex syntax)
* One error (couldn't find pintos-t2h.init without "./" prefix)
doc/Makefile
doc/texi2html