Index: fiaif-1.23.1/Makefile
===================================================================
--- fiaif-1.23.1.orig/Makefile	2013-01-21 10:48:58.931826196 +0100
+++ fiaif-1.23.1/Makefile	2013-01-21 10:49:06.763686585 +0100
@@ -138,8 +138,7 @@ html: fiaif.ps
 	$(MAKE) -C doc/fiaif html HTML_DIR=$(HTML_PATH)/doc
 
 fiaif.ps:
-	$(MAKE) -C doc/fiaif fiaif.ps
-	cp doc/fiaif/fiaif.ps . 
+	[ -f fiaif.ps ] || ($(MAKE) -C doc/fiaif fiaif.ps && cp doc/fiaif/fiaif.ps .)
 
 deb: VERSION 
 	fakeroot dpkg-buildpackage -us -uc || true
@@ -211,5 +210,4 @@ clean:
 	$(RM) -r debian/fiaif 
 	$(RM) -r debian/fiaif_$(VERSION)
 	$(RM) debian/*debhelper debian/files debian/*substvars 
-	$(RM) fiaif.ps
 	$(RM) build-stamp
