clean up changed src/or/micro-revision.i

If we overwrite src/or/micro-revision.i in during build, clean it out in
the clean target.

debian/changelog

+tor (0.2.2.18-alpha-X) Xxperimental; urgency=low
+
+  * If we overwrite src/or/micro-revision.i in during build,
+    clean it out in the clean target.
+
+ -- Peter Palfrader <weasel@debian.org>  Sun, 21 Nov 2010 15:29:36 +0100
+
 tor (0.2.2.18-alpha-1) experimental; urgency=low
 
   * New upstream version.

debian/rules

@@ -122,6 +122,7 @@ clean: unpatch
 	rm -f src/or/micro-revision.i
 
 	[ ! -f Makefile ] || $(MAKE) distclean
+	! [ -e debian/micro-revision.i ] || rm -f src/or/micro-revision.i
 
 	# Normally the .deb wouldn't ship with a ../.git
 	if [ -d .git ] && which git >/dev/null; then \