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

* changed html stylesheet to custom one

This commit is contained in:
Oleg Hahm 2013-03-07 21:04:46 +01:00
parent 2277b366b2
commit 7913868bc9

View File

@ -125,7 +125,7 @@ HTML_OUTPUT = html
HTML_FILE_EXTENSION = .html
HTML_HEADER = src/riot-header.html
HTML_FOOTER = src/riot-footer.html
HTML_STYLESHEET =
HTML_STYLESHEET = riot.css
HTML_ALIGN_MEMBERS = YES
HTML_DYNAMIC_SECTIONS = YES
GENERATE_DOCSET = NO