# HG changeset patch # User HIROSE Yuuji # Date 1592021997 -32400 # Node ID c5b61d23052bf9716f632211971ed3699994aa38 # Parent 809caeb20758ea5164e9a462df17977fabc35e66 Display WORLD name in HTML header diff -r 809caeb20758 -r c5b61d23052b examples/common/default/html.m4.html --- a/examples/common/default/html.m4.html Sat Jun 13 13:19:07 2020 +0900 +++ b/examples/common/default/html.m4.html Sat Jun 13 13:19:57 2020 +0900 @@ -7,7 +7,7 @@ `', `') -_TITLE_|ifdef(`_S4NAME_',`_S4NAME_',s4) +_TITLE_|ifdef(`_S4WORLD_',`{_S4WORLD_}')ifdef(`_S4NAME_',`_S4NAME_',s4) ifdef(`_S4CSS_', @@ -19,7 +19,7 @@