[Top][All Lists]
[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 */
- [PATCH] gendoc.sh 1.16 - correctly get *.texi and *.eps files,
Chad Walstrom <=