Try copying docs again.

jtv · Mar 31, 2024 · 0e76830 · 0e76830
1 parent fa52311
commit 0e76830
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/doc/Makefile.am b/doc/Makefile.am
@@ -29,6 +29,9 @@ reference-stamp: Doxyfile.in $(REFERENCE_STAMP_DEP)
 	  $(MKDIR_P) html; \
 	  $(DOXYGEN) Doxyfile; \
 	  touch $@; \
+	  if [ -n "${READTHEDOCS_OUTPUT}" ]; then \
+	    cp -r html "${READTHEDOCS_OUTPUT}/"; \
+	  fi; \
 	else \
 	  echo >&2; \
 	  echo >&2 "*****************************************************"; \

diff --git a/doc/Makefile.in b/doc/Makefile.in
@@ -483,6 +483,9 @@ reference-stamp: Doxyfile.in $(REFERENCE_STAMP_DEP)
 	  $(MKDIR_P) html; \
 	  $(DOXYGEN) Doxyfile; \
 	  touch $@; \
+	  if [ -n "${READTHEDOCS_OUTPUT}" ]; then \
+	    cp -r html "${READTHEDOCS_OUTPUT}/"; \
+	  fi; \
 	else \
 	  echo >&2; \
 	  echo >&2 "*****************************************************"; \