From b2ed60c5c48981b1ba812f7b5f816053b0771a2e Mon Sep 17 00:00:00 2001
From: Chris Cromer <chris@cromer.cl>
Date: Tue, 6 Nov 2018 14:06:23 -0300
Subject: [PATCH] add makefile option for the informe

---
 Makefile     | 8 +++++++-
 doc/Makefile | 7 +++++++
 2 files changed, 14 insertions(+), 1 deletion(-)
 create mode 100644 doc/Makefile

diff --git a/Makefile b/Makefile
index e075fa0..e6d9458 100644
--- a/Makefile
+++ b/Makefile
@@ -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
diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 0000000..d42f3ee
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,7 @@
+informe:
+	pdflatex -synctex=1 -interaction=nonstopmode "Informe.tex"
+
+clean:
+	rm *.log *.toc *.gz *.aux Informe.pdf
+
+.PHONY: informe clean