diff --git a/stubdom/Makefile b/stubdom/Makefile
index 34bd9e238b..8cf7131c6a 100644
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -87,6 +87,7 @@ newlib-$(NEWLIB_VERSION): newlib-$(NEWLIB_VERSION).tar.gz
 	patch -d $@ -p0 < newlib.patch
 	patch -d $@ -p0 < newlib-chk.patch
 	patch -d $@ -p1 < newlib-stdint-size_max-fix-from-1.17.0.patch
+	patch -d $@ -p1 < newlib-disable-texinfo.patch
 	find $@ -type f | xargs perl -i.bak \
 		-pe 's/\b_(tzname|daylight|timezone)\b/$$1/g'
 	touch $@
diff --git a/stubdom/newlib-disable-texinfo.patch b/stubdom/newlib-disable-texinfo.patch
new file mode 100644
index 0000000000..5ce2e45caa
--- /dev/null
+++ b/stubdom/newlib-disable-texinfo.patch
@@ -0,0 +1,13 @@
+--- a/etc/Makefile.in	2007-03-27 13:09:32.000000000 -0500
++++ b/etc/Makefile.in	2018-07-09 11:08:50.294183081 -0500
+@@ -63,8 +63,8 @@
+ PDFFILES = standards.pdf configure.pdf
+ HTMLFILES = standards.html configure.html
+ 
+-all: info
+-install: install-info
++all:
++install:
+ 
+ uninstall:
+