From 722784102ab24e627277441331314c9d49810aa7 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Thu, 13 Aug 2020 19:14:04 +0200 Subject: done documenting. getting close to 1.0 --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 8a9009c..7d4e583 100644 --- a/Makefile +++ b/Makefile @@ -17,9 +17,9 @@ sty: clean $(CMP) $(NAME).ins >/dev/null $(NAME).pdf: $(NAME).dtx - @ echo "Make the sample files first..." + @ echo "Making the sample files first..." $(MAKE) --directory=$(SAMPLES) - @ echo "Build the documentation of $(NAME)..." + @ echo "Building the documentation of $(NAME)..." $(CMP) --shell-escape --recorder --interaction=batchmode $(NAME).dtx >/dev/null biber $(NAME) >/dev/null $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null -- cgit v1.2.3