File TeXmacs-library_order.patch of Package TeXmacs

Index: plugins/shell/Makefile
===================================================================
--- plugins/shell/Makefile.orig	2010-10-22 21:38:00.000000000 +0200
+++ plugins/shell/Makefile	2010-10-28 13:19:29.923650438 +0200
@@ -14,7 +14,7 @@ RM = rm -f
 all: bin/tm_shell
 
 bin/tm_shell: src/tm_shell.cpp
-	$(CXX) $(CPPFLAGS) $(CXXFLAGS)  -I../../src/System  -lutil src/tm_shell.cpp -o bin/tm_shell
+	$(CXX) $(CPPFLAGS) $(CXXFLAGS)  -I../../src/System  -o bin/tm_shell src/tm_shell.cpp -lutil
 
 clean:
 	$(RM) bin/tm_shell