update, by removal, patch to make-single-file (debian/patches/misc.diff)

barak · Feb 24, 2011 · ed32dd9 · ed32dd9
1 parent 8d4e367
commit ed32dd9
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/debian/patches/misc.diff b/debian/patches/misc.diff
@@ -227,17 +227,6 @@ index 4f8d348..014e171 100644
 +  4					;*squished-size*
 +  #f)					;*include-malloc-for-alloca?*
 + )
-diff --git a/make-single-file b/make-single-file
-index ac650a7..edc757b 100755
---- a/make-single-file
-+++ b/make-single-file
-@@ -27,5 +27,5 @@ cat lenin.sc\
-     source/stalin5e.sc\
-     source/stalin.sc\
-     |sed -f trotsky.sed|cat - last-line.sc\
--    |remove-extra-blank-lines >stalin.sc
-+    |./remove-extra-blank-lines >stalin.sc
- rm -f last-line.sc trotsky.sed remove-extra-blank-lines
 diff --git a/makefile b/makefile
 index 812dac8..2524d3a 100644
 --- a/makefile