Makefile: Remove obsolete dist target

We will generate release tarballs with `git-archive`.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/Makefile.in b/Makefile.in
index 96eac6845d443239e85f8aba8f2b1c70f48dc437..54b3305ab30def8b9aab65236bc160b4acff509b 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -173,25 +173,6 @@ distclean mostlyclean:     clean
 maintainer-clean:      distclean
                rm -rf $(GENSHIP_CLEAN) spec.html/*.html
 
-dist-prep:     $(GENSHIP)
-
-pre-checkin:
-               ./configure
-               $(MAKE) dist-prep
-
-dist_tmp=dist_tmp/userv-$(VERSION)
-dist_prune=\( -name CVS -o -name 'dist_tmp*' -o -name slash-etc -o -name vd \)
-dist:                  dist-prep distclean
-       rm -rf dist_tmp*
-       mkdir dist_tmp $(dist_tmp)
-       find $(dist_prune) -prune -o -type d -print | \
-               sed -e 's#.*#mkdir -p $(dist_tmp)/&#' | sh
-       find $(dist_prune) -prune -o -type f -print | \
-               sed -e 's#.*#ln & $(dist_tmp)/&#' | sh
-       cd dist_tmp && tar cf ../$(dist_tmp).tar `basename $(dist_tmp)`
-       gzip -9 $(dist_tmp).tar
-       mv $(dist_tmp).tar.gz .
-
 linecount:     $(SOURCES)
                wc -l $^