# -----------------------------------------------------------------------------
# Make sure configure is up-to-date
-all boot :: configure
+all install dist binary-dist :: configure
configure :: configure.in
@echo "WARNING: configure needs to be regenerated. Type"
@echo " make -f Makefile.config ./configure"
#
# Do it like this:
#
-# $ make boot
+# $ make
# $ make dist Project=Ghc
+#
+# WARNING: `make dist' calls `make distclean' before tarring up the tree.
+#
.PHONY: dist
# Automatic generation of a MANIFEST file for a source distribution
# tree that is ready to go.
dist-manifest ::
- cd $(SRC_DIST_DIR); $(FIND) . \( -type l -o -type f \) -exec ls -lLG {} \; | sed -e 's/\.\///' > /tmp/MANIFEST ; mv /tmp/MANIFEST MANIFEST
+ cd $(SRC_DIST_DIR); $(FIND) . \( -type l -o -type f \) -exec ls -lLG {} \; | sed -e 's/\.\///' > MANIFEST.tmp ; mv MANIFEST.tmp MANIFEST
dist-package :: dist-package-tar-gz