Copy doc tree into place.

jtv · Mar 30, 2024 · fd2e7a2 · fd2e7a2
1 parent 56e237d
commit fd2e7a2
Show file tree

Hide file tree

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

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