update one more reference to a file that moved from texinputs/ to
commontex/
diff --git a/Doc/Makefile b/Doc/Makefile
index 821ea8a..a6df02f 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -348,7 +348,7 @@
# are updated and boilerplate.tex uses \today as the date. The index
# files are not used to actually generate content.
-BOILERPLATE=texinputs/boilerplate.tex
+BOILERPLATE=commontex/boilerplate.tex
html/index.html: $(INDEXFILES)
html/index.html: html/index.html.in $(BOILERPLATE) tools/rewrite.py
$(PYTHON) tools/rewrite.py $(BOILERPLATE) \