wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-11-23 22:44:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

doxygen: normalize output directory to 'docs'

Browse source 
Other MediaWiki extensions use 'docs' as the Doxygen output directory.

Bug: T27978
Change-Id: I14081f4fd74b6b76d58144563f95fc0f8f9aae95
This commit is contained in:
Antoine Musso 2020-05-05 14:01:06 +02:00 committed by James D. Forrester
parent 41d1918712
commit 1d9729491c
2 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
.gitignore vendored
View file

@ -1,9 +1,8 @@
node_modules /node_modules
docs /docs
composer.lock /composer.lock
vendor /vendor
doc /.eslintcache
.eslintcache
# Editors # Editors
*.kate-swp *.kate-swp

2
Doxyfile
View file

@ -3,7 +3,7 @@
PROJECT_NAME = Thanks PROJECT_NAME = Thanks
PROJECT_BRIEF = "MediaWiki Thanks extension" PROJECT_BRIEF = "MediaWiki Thanks extension"
OUTPUT_DIRECTORY = doc OUTPUT_DIRECTORY = docs
JAVADOC_AUTOBRIEF = YES JAVADOC_AUTOBRIEF = YES
QT_AUTOBRIEF = YES QT_AUTOBRIEF = YES