Make.proto
changeset 3496 e1e02c2f3b94
parent 3491 f00e158ecd02
child 3508 622620308fee
--- a/Make.proto	Fri Sep 11 16:08:20 2015 +0100
+++ b/Make.proto	Fri Sep 11 16:22:17 2015 +0100
@@ -86,7 +86,8 @@
 
 clean::
 	$(MAKE) -C docs/user clean    
-
+                                   
+                                       
 zlib:
 	cd $(ZLIB_DIR); $(MAKE) $(MAKE_ZLIB_ARG)