1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

doc: Add project name

This commit is contained in:
Leandro Lanzieri 2022-01-19 10:17:52 +01:00
parent d8e84434a8
commit 6257442e4e
No known key found for this signature in database
GPG Key ID: F4E9A721761C7593

View File

@ -32,7 +32,7 @@ DOXYFILE_ENCODING = UTF-8
# title of most generated pages and in a few other places.
# The default value is: My Project.
PROJECT_NAME =
PROJECT_NAME = "RIOT OS"
# The PROJECT_NUMBER tag can be used to enter a project or revision number. This
# could be handy for archiving the generated documentation or if some version