bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] gendoc.sh 1.16 - correctly get *.texi and *.eps files


From: Chad Walstrom
Subject: [PATCH] gendoc.sh 1.16 - correctly get *.texi and *.eps files
Date: Wed, 28 Dec 2005 17:42:42 -0600

gendoc.sh currently does not discriminate between *.texi files that
are included via @include and those that simply sit in the current
directory.  This patch fixes that by actually examining the srcfile
for @include statements.  Likewise, it extracts names of *.eps files
that are actually used in the document.

--- gendocs.sh  2005-12-28 17:39:12.366696399 -0600
+++ gendocs.sh.new      2005-12-28 17:32:48.328897008 -0600
@@ -209,8 +209,9 @@
 rmdir ${split_html_dir}
 
 echo Making .tar.gz for sources...
-srcfiles=`ls *.texinfo *.texi *.txi *.eps 2>/dev/null`
-tar cvzfh $outdir/$PACKAGE.texi.tar.gz $srcfiles
+ifiles=`sed -n -e 's,address@hidden \([-a-zA-Z0-9_.]\+\),\1,p' $srcfile 
2>/dev/null`
+epsfiles=`sed -n -e 's,^.*\\epsffile{\([-a-zA-Z0-9_]\+\.eps\)},\1,p' $srcfile 
2>/dev/null`
+tar cvzfh $outdir/$PACKAGE.texi.tar.gz $srcfile $ifiles $epsfiles
 texi_tgz_size="`calcsize $outdir/$PACKAGE.texi.tar.gz`"
 
 if test -n "$docbook"; then
-- 
Chad Walstrom <address@hidden>           http://www.wookimus.net/
           assert(expired(knowledge)); /* core dump */





reply via email to

[Prev in Thread] Current Thread [Next in Thread]