jenkins-bot has submitted this change and it was merged. Change subject: doxygen: Use default directory for HTML_OUTPUT ......................................................................
doxygen: Use default directory for HTML_OUTPUT Bug: T108615 Change-Id: Ibcafa673b7adb2a308c22845301cfffd5bbd68b2 --- M Doxyfile 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/Doxyfile b/Doxyfile index fbea600..a23f790 100644 --- a/Doxyfile +++ b/Doxyfile @@ -4,7 +4,6 @@ PROJECT_BRIEF = Object-Oriented JavaScript – User Interface OUTPUT_DIRECTORY = doc -HTML_OUTPUT = php JAVADOC_AUTOBRIEF = YES QT_AUTOBRIEF = YES -- To view, visit https://gerrit.wikimedia.org/r/230916 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibcafa673b7adb2a308c22845301cfffd5bbd68b2 Gerrit-PatchSet: 1 Gerrit-Project: oojs/ui Gerrit-Branch: master Gerrit-Owner: Legoktm <[email protected]> Gerrit-Reviewer: Jforrester <[email protected]> Gerrit-Reviewer: Legoktm <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
