File tree Expand file tree Collapse file tree 1 file changed +17
-15
lines changed Expand file tree Collapse file tree 1 file changed +17
-15
lines changed Original file line number Diff line number Diff line change @@ -580,6 +580,22 @@ task htmlValidate(type: Exec, group: 'Format') {
580
580
]
581
581
}
582
582
583
+ task addFavicon (type : Exec ) {
584
+ dependsOn ' allJavadoc'
585
+ workingDir " ${ rootDir} /docs/api"
586
+ executable " ${ htmlToolsHome} /html-add-favicon"
587
+ args + = [
588
+ ' .' ,
589
+ ' favicon-checkerframework.png'
590
+ ]
591
+ doFirst {
592
+ copy {
593
+ from ' docs/logo/Checkmark/CFCheckmark_favicon.png'
594
+ rename(' CFCheckmark_favicon.png' , ' favicon-checkerframework.png' )
595
+ into " ${ rootDir} /docs/api"
596
+ }
597
+ }
598
+ }
583
599
584
600
// `gradle allJavadoc` builds the Javadoc for all modules in `docs/api`.
585
601
// This is what is published to checkerframework.org.
@@ -611,21 +627,7 @@ task allJavadoc(type: Javadoc, group: 'Documentation') {
611
627
// disable interpreting module-info.java files until all sub-modules support them
612
628
modularity. inferModulePath = false
613
629
614
- doLast {
615
- copy {
616
- from ' docs/logo/Checkmark/CFCheckmark_favicon.png'
617
- rename(' CFCheckmark_favicon.png' , ' favicon-checkerframework.png' )
618
- into " ${ rootDir} /docs/api"
619
- }
620
- exec {
621
- workingDir " ${ rootDir} /docs/api"
622
- executable " ${ htmlToolsHome} /html-add-favicon"
623
- args + = [
624
- ' .' ,
625
- ' favicon-checkerframework.png'
626
- ]
627
- }
628
- }
630
+ finalizedBy ' addFavicon'
629
631
}
630
632
631
633
// See documentation for allJavadoc task.
You can’t perform that action at this time.
0 commit comments