Generate docs in html dir.

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

Hide file tree

Showing 3 changed files with 1 addition and 11 deletions.
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
@@ -657,7 +657,7 @@ GENERATE_HTML          = YES
 # If a relative path is entered the value of OUTPUT_DIRECTORY will be
 # put in front of it. If left blank `html' will be used as the default path.
 
-HTML_OUTPUT            = .
+HTML_OUTPUT            =
 
 # The HTML_FILE_EXTENSION tag can be used to specify the file extension for
 # each generated HTML page (for example: .htm,.php,.asp). If it is left blank

diff --git a/doc/Makefile.am b/doc/Makefile.am
@@ -28,11 +28,6 @@ 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,11 +482,6 @@ 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; \