From 96b6d766b2ea71d04e271d3f570893e524657bb7 Mon Sep 17 00:00:00 2001 From: Chris Cromer Date: Fri, 23 Jul 2021 12:14:58 -0400 Subject: [PATCH] update report in makefiles --- Makefile | 2 +- doc/Makefile | 6 ++++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 5f3ed83..9347537 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,7 @@ else ifneq (, $(shell which pdftex)) mv doc/Informe.pdf Informe.pdf endif -clean: cleanshell cleaninforme +clean: cleanshell cleanreport cleanshell: rm -f src/*.o $(FILENAME) diff --git a/doc/Makefile b/doc/Makefile index 9e2646d..db570c3 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,4 +1,6 @@ -informe: +all: report + +report: # we do this twice to make sure the toc is updated pdflatex -synctex=1 -interaction=nonstopmode "Informe.tex" pdflatex -synctex=1 -interaction=nonstopmode "Informe.tex" @@ -6,4 +8,4 @@ informe: clean: rm -f *.log *.toc *.gz *.aux sections/*.aux *.out Informe.pdf -.PHONY: informe clean +.PHONY: all report clean