diff options
| author | Simon Josefsson <simon@josefsson.org> | 2010-01-26 15:39:52 +0100 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2010-01-26 15:39:52 +0100 |
| commit | d8d94c27e1c30a7a09fbfa77bdfd995e2307a7f6 (patch) | |
| tree | 0b1ee6da324163860b2a2ea7a23c8946a59031ac /build-aux/gendocs.sh | |
| parent | ba4d206c53fdd9f6c1b19c2ae571054b5765c5f2 (diff) | |
| download | gnutls-d8d94c27e1c30a7a09fbfa77bdfd995e2307a7f6.tar.gz | |
Update gnulib files.
Diffstat (limited to 'build-aux/gendocs.sh')
| -rwxr-xr-x | build-aux/gendocs.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index 992d9fc32c..b50a6c7ffd 100755 --- a/build-aux/gendocs.sh +++ b/build-aux/gendocs.sh @@ -1,10 +1,10 @@ -#!/bin/sh +#!/bin/sh -e # gendocs.sh -- generate a GNU manual in many formats. This script is # mentioned in maintain.texi. See the help message below for usage details. -scriptversion=2009-09-09.22 +scriptversion=2010-01-02.16 -# Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009 +# Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 # Free Software Foundation, Inc. # # This program is free software: you can redistribute it and/or modify @@ -268,7 +268,7 @@ else fi echo Making .tar.gz for sources... -srcfiles=`ls *.texinfo *.texi *.txi *.eps 2>/dev/null` +srcfiles=`ls *.texinfo *.texi *.txi *.eps 2>/dev/null` || true tar cvzfh $outdir/$PACKAGE.texi.tar.gz $srcfiles texi_tgz_size=`calcsize $outdir/$PACKAGE.texi.tar.gz` |