gnublin1

[projects.git] / tools / make / makefile

diff --git a/tools/make/makefile b/tools/make/makefile
index 7fadac917987682217a7bac0da09b6be8fa783af..60e6780204518554e45475597cddb23b05c3957b 100644 (file)
--- a/tools/make/makefile
+++ b/tools/make/makefile
@@ -12,7 +12,6 @@ DEB = fakeroot dpkg-deb --build $(project)
 project = default
 SOURCES =
 COPY_PRE =
-TEX = pdflatex
 
 # Load project specification
 include make.pre
@@ -65,7 +64,7 @@ $(project).zip: copy.stamp $(project)
 
 $(project).deb: copy.stamp control.stamp
        $(DEB)
-       cp $(project).deb $(project)_$(version).deb
+       cp $(project).deb $(project)_$(version)$(_arch).deb
 
 #-----------------------------------------------------------------
 # utilities
@@ -75,10 +74,3 @@ clean:
        if [ -e $(project).zip ]; then rm $(project).zip; fi
        if [ -e $(project) ]; then rm -rf $(project); fi
 
-#-----------------------------------------------------------------
-# generische Regeln
-#-----------------------------------------------------------------
-%.pdf:%.tex
-       $(TEX) $<
-
--include make.post