add makefile option for the informe

2018-11-06 14:06:23 -03:00
parent f7ae37826d
commit b2ed60c5c4
2 changed files with 14 additions and 1 deletions
--- a/8
+++ b/8
@@ -12,4 +12,10 @@ sort: $(OBJ)
 clean:
 	rm -f src/*.o sort

-.PHONY: sort clean
+informe:
+	make -C doc
+
+cleaninforme:
+	make -C doc clean
+
+.PHONY: sort clean informe cleaninforme