[MLton-commit] r7318

[Wesley Terpstra]

If the guide gets compressed, then the debian doc-base utility doesn't work.


----------------------------------------------------------------------

U   mlton/trunk/package/debian/rules

----------------------------------------------------------------------

Modified: mlton/trunk/package/debian/rules
===================================================================
--- mlton/trunk/package/debian/rules	2009-10-28 16:09:58 UTC (rev 7317)
+++ mlton/trunk/package/debian/rules	2009-10-28 16:21:22 UTC (rev 7318)
@@ -9,6 +9,9 @@
 # MLton compiles optimized, debug, and pic versions on its own.
 DEB_MAKE_INVOKE = $(DEB_MAKE_ENVVARS) make -C $(DEB_BUILDDIR)
 
+# The MLton guide is html.
+DEB_COMPRESS_EXCLUDE = mlton/guide
+
 DEB_MAKE_CLEAN_TARGET   = clean clean-svn
 DEB_MAKE_BUILD_TARGET   = all RUNTIME_ARGS="fixed-heap $(HEAPSIZE)" VERSION=$(DEB_VERSION)
 DEB_MAKE_INSTALL_TARGET = install-no-strip DESTDIR=$(CURDIR)/debian/tmp/ PREFIX=/usr MAN_PREFIX_EXTRA=/share