FIX: pdf documentation

jorgepiloto · Mar 17, 2023 · b7f60d5 · b7f60d5
1 parent ccbc079
commit b7f60d5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/Makefile b/doc/Makefile
@@ -182,4 +182,5 @@ pseudoxml:
 	@echo "Build finished. The pseudo-XML files are in $(BUILDDIR)/pseudoxml."
 
 pdf:
-	touch documentation.pdf
+	mkdir -p $(BUILDDIR)/latex
+	touch $(BUILDDIR)/latex/documentation.pdf