From: Bruno Haible Date: Wed, 10 May 2017 16:40:13 +0000 (+0200) Subject: Fix instructions how to update manual on www.gnu.org. X-Git-Tag: v1.0~6183 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=3f67783fb1ff94c6a3732cfbc4850048bcabc4ff;p=gnulib.git Fix instructions how to update manual on www.gnu.org. * doc/README: Add -I option, so that texi2dvi finds texinfo.tex. --- 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"