summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
1bc4f6f)
* Two warnings (deprecated regex syntax)
* One error (couldn't find pintos-t2h.init without "./" prefix)
all: pintos.html pintos.info pintos.pdf
pintos.html: $(TEXIS) texi2html
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 $<
pintos.info: $(TEXIS)
makeinfo $<
{
$changed = 0;
$done = '';
{
$changed = 0;
$done = '';
- while (/\@(\w+){([^\{\}]+)}/ || /\@(,){([^\{\}]+)}/)
+ while (/\@(\w+)\{([^\{\}]+)}/ || /\@(,)\{([^\{\}]+)}/)
{
$text = &apply_style($1, $2);
if ($text)
{
$text = &apply_style($1, $2);
if ($text)