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

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)
-