We don't need to generate driver/package.conf any more; spotted by Simon

diff --git a/driver/Makefile b/driver/Makefile
index 7a07cbd..7953d5f 100644 (file)
--- a/driver/Makefile
+++ b/driver/Makefile
@@ -17,7 +17,6 @@ INPLACE_FILE     = $(INPLACE_DATA_DIR)/inplace
 boot all ::
        $(MKDIRHIER) $(INPLACE_DATA_DIR)
        test -e $(INPLACE_PKG_CONF) || echo "[]" > $(INPLACE_PKG_CONF)
 boot all ::
        $(MKDIRHIER) $(INPLACE_DATA_DIR)
        test -e $(INPLACE_PKG_CONF) || echo "[]" > $(INPLACE_PKG_CONF)

-       echo "[]" > package.conf

        touch $(INPLACE_FILE)
 
 INSTALL_DATAS += package.conf ghc-usage.txt ghci-usage.txt
        touch $(INPLACE_FILE)
 
 INSTALL_DATAS += package.conf ghc-usage.txt ghci-usage.txt