X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FMakefile;h=b3cc515d2ef748a01192eedb789efdb38fad7816;hb=bedea63520c165e9445c15b09455e349c72e48a5;hp=c9a7b58ed7155b1a640dde8451431c23e79325ee;hpb=348f1670b30f52db99187b2e92b45348e18ebbbe;p=helm.git

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index c9a7b58ed..b3cc515d2 100644
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -21,6 +21,6 @@ test/$(OBJS): $(REGISTRY)
 
 test/$(SRCS): test/$(OBJS) $(REGISTRY) ./matex.native
 	@echo MaTeX: processing $<
-	$(H)./matex.native -O test -l $(SRCS) -p -g -a $(REGISTRY) `cat $<`
+	$(H)./matex.native -O test -l $(SRCS) -a -g -p $(REGISTRY) `cat $<`
 
 .PHONY: test