Print the doc install directory only for make

Author: kwankyu

src/doc/Makefile

@@ -24,11 +24,13 @@ doc-html:
 	mkdir -p $(SAGE_DOC)
 	cp -rf ../../build/sage-distro/src/doc/html $(SAGE_DOC)
 	cp -f ../../build/sage-distro/src/doc/index.html $(SAGE_DOC)
+	@echo "The html documentation was installed to $(SAGE_DOC)/html."
 
 doc-pdf:
 	meson compile -C ../../build/sage-distro doc-pdf
 	mkdir -p $(SAGE_DOC)
 	cp -rf ../../build/sage-distro/src/doc/pdf $(SAGE_DOC)
+	@echo "The pdf documentation was installed to $(SAGE_DOC)/pdf."
 
 .PHONY: all clean \
 	doc-src \

src/sage_docbuild/builders.py

@@ -150,6 +150,11 @@ def f(self, *args, **kwds):
             if build_options.ABORT_ON_ERROR:
                 raise Exception("Non-exception during docbuild: %s" % (e,), e)
 
+        if type == 'latex':
+            logger.warning(f"LaTeX files can be found in {output_dir}.")
+        elif type != 'inventory':
+            logger.warning(f"Build finished. The built documents can be found in {output_dir}.")
+
     f.is_output_format = True
     return f