tags 484397 + patch thanks Patch attached.
Regards,
--
Chris Lamb, UK [EMAIL PROTECTED]
GPG: 0x634F9A20
diff -urNad lhs2tex-1.13.orig/debian/rules lhs2tex-1.13/debian/rules
--- lhs2tex-1.13.orig/debian/rules 2008-06-08 19:24:20.000000000 +0100
+++ lhs2tex-1.13/debian/rules 2008-06-08 19:25:08.000000000 +0100
@@ -53,7 +53,9 @@
# Add here commands to clean up after the build process.
if [ -f Makefile ] && [ -f config.mk ] ; then $(MAKE) clean ; fi
# Remove generated files
- rm -f doc/Guide2.{aux,log,out,ptb,tex,toc}
+ for EXT in aux log out ptb tex toc; do \
+ rm -f doc/Guide2.$$EXT; \
+ done
# Don't rebuild the guide as ghci does not work on all architectures..
# rm -f doc/Guide2.{dontbuild,pdf}
rm -f doc/*.sty doc/*.tex doc/.out doc/.script doc/RawSearchPath.lhs
signature.asc
Description: PGP signature
