X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhelmpot%2FMakefile.am;fp=helm%2Fhelmpot%2FMakefile.am;h=0000000000000000000000000000000000000000;hp=d730de3868dc6c1d08829c7d7b2263950418e333;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/helmpot/Makefile.am b/helm/helmpot/Makefile.am
deleted file mode 100644
index d730de386..000000000
--- a/helm/helmpot/Makefile.am
+++ /dev/null
@@ -1,26 +0,0 @@
-
-CLEANFILES = core t1lib.log helmpot.spec
-
-bin_PROGRAMS = helmpot
-
-noinst_HEADERS = guiGTK.h
-
-helmpot_SOURCES = \
-  main.c \
-  guiGTK.c
-
-backup:
-	tar cvfz ../@PACKAGE@-@VERSION@-`date|tr ' ' '_'|tr ':' '_'`.tar.gz .
-
-cleanbak:
-	-rm -f `find . -name "*~"`
-
-lc:
-	@( \
-	CFILES=`find . -name "*.c"`; \
-	HFILES=`find . -name "*.h"`; \
-	wc -l $$CFILES $$HFILES | tail -n 1 \
-	)
-
-INCLUDES = $(GTK_CFLAGS)
-