From 3f67783fb1ff94c6a3732cfbc4850048bcabc4ff Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Wed, 10 May 2017 18:40:13 +0200 Subject: [PATCH] Fix instructions how to update manual on www.gnu.org. * doc/README: Add -I option, so that texi2dvi finds texinfo.tex. --- ChangeLog | 5 +++++ doc/README | 1 + 2 files changed, 6 insertions(+) diff --git a/ChangeLog b/ChangeLog index ff44fbc57b..314767e1a4 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2017-05-10 Bruno Haible + + Fix instructions how to update manual on www.gnu.org. + * doc/README: Add -I option, so that texi2dvi finds texinfo.tex. + 2017-05-09 Bruno Haible tzset: Expand comment about TZ problem on native Windows. diff --git a/doc/README b/doc/README index 00d1c35365..0ffae93a14 100644 --- a/doc/README +++ b/doc/README @@ -26,6 +26,7 @@ How to update gnulib manual on www.gnu.org cd $GNULIB_CHECKOUT/doc make updated-stamp ../build-aux/gendocs.sh \ + -I ../build-aux \ --email bug-gnulib@gnu.org \ -o "$GNULIB_WWW_CHECKOUT/manual" \ gnulib "The GNU Portability Library" -- 2.39.5