diff options
-rw-r--r-- | doc/Makefile | 2 | ||||
-rwxr-xr-x | tools/export.sh | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index b83135183..233c2bda7 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,7 @@ SOURCES = *.xml +all : manual.pdf manual.html + %.fo: %.xml $(SOURCES) xsltproc --stringparam body.font.family Helvetica --stringparam fop.extensions 1 /usr/share/xml/docbook/stylesheet/nwalsh/fo/docbook.xsl $< > $@ diff --git a/tools/export.sh b/tools/export.sh index 5d0db628a..16fcda6f8 100755 --- a/tools/export.sh +++ b/tools/export.sh @@ -14,7 +14,7 @@ tagstr=`echo ${version} | sed -e 's/\./_/g'` svn copy "${repo}/trunk" "${repo}/tags/${name}_${tagstr}" -m "tagged ${version} release" svn export . "${expath}" svn log -v "${repo}/tags/${name}_${tagstr}" > "${expath}/ChangeLog" -cd "${expath}"/doc && make manual.pdf +cd "${expath}"/doc && make all cd /tmp tar czf "${tarname}" "${name}-${version}" |