stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8171978: docs should use CSS-friendly <span> instead of <font>

Browse Source 
Reviewed-by: tbell
This commit is contained in:
Jonathan Gibbons 2016-12-23 13:43:21 -08:00
parent 253bccbc58
commit 9fd7d77410
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
make/Javadoc.gmk
View File

@ -148,10 +148,10 @@ $(CORE_PACKAGES_LIST_FILE): $(CORE_PACKAGES_VARDEPS_FILE)
# arg 2: copyright url (optional)
# arg 3: free-form text snippet (optional)
define GenerateBottom
<font size="-1">$(if $(strip $3), $(strip $3))<br> $(if \
<span style="font-size:smaller">$(if $(strip $3), $(strip $3))<br> $(if \
$(strip $2),<a href="$(strip $2)">Copyright</a>,Copyright) \
&copy; $(strip $1), $(COPYRIGHT_YEAR), $(FULL_COMPANY_NAME). \
$(COMPANY_ADDRESS). All rights reserved.</font>
$(COMPANY_ADDRESS). All rights reserved.</span>
endef
# Speed up finding by filling cache