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,[EMAIL PROTECTED] \([-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 <[EMAIL PROTECTED]> http://www.wookimus.net/
assert(expired(knowledge)); /* core dump */
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
