]> Savannah Git Hosting - gnulib.git/commitdiff
Fix instructions how to update manual on www.gnu.org.
authorBruno Haible <bruno@clisp.org>
Wed, 10 May 2017 16:40:13 +0000 (18:40 +0200)
committerBruno Haible <bruno@clisp.org>
Wed, 10 May 2017 16:40:13 +0000 (18:40 +0200)
* doc/README: Add -I option, so that texi2dvi finds texinfo.tex.

ChangeLog
doc/README

index ff44fbc57bfe6d895d1055948fe55881410deea5..314767e1a4bf95148241f4a0049f2874f65cf46c 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2017-05-10 Bruno Haible  <bruno@clisp.org>
+
+       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  <bruno@clisp.org>
 
        tzset: Expand comment about TZ problem on native Windows.
index 00d1c35365de9f99ab7210b8c0630717b3499bf6..0ffae93a148e8c6f3e3f0eb9b396acd41fc5a146 100644 (file)
@@ -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"