diff options
| author | Karl Berry <karl@freefriends.org> | 2010-01-03 06:30:52 -0800 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2010-01-03 06:30:52 -0800 |
| commit | 8f3aa1fee051bc5091d5f9b207609c03cf023894 (patch) | |
| tree | e0ada2181efa515562ff01be655981c1d15fb71f /build-aux/gendocs.sh | |
| parent | 1bf02c37a30c1e2cac729a3f035ec132d4b2f205 (diff) | |
| download | gnulib-8f3aa1fee051bc5091d5f9b207609c03cf023894.tar.gz | |
autoupdate
Diffstat (limited to 'build-aux/gendocs.sh')
| -rw-r--r-- | 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 100644 --- 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` |