116 pkgLabel = getPackageLabel(pd.name()); |
116 pkgLabel = getPackageLabel(pd.name()); |
117 packageLinkContent = getHyperLink(pathString(pd, |
117 packageLinkContent = getHyperLink(pathString(pd, |
118 DocPaths.profilePackageFrame(profileName)), pkgLabel, "", |
118 DocPaths.profilePackageFrame(profileName)), pkgLabel, "", |
119 "packageFrame"); |
119 "packageFrame"); |
120 } else { |
120 } else { |
121 pkgLabel = new RawHtml("<unnamed package>"); |
121 pkgLabel = new StringContent("<unnamed package>"); |
122 packageLinkContent = getHyperLink(DocPaths.PACKAGE_FRAME, |
122 packageLinkContent = getHyperLink(DocPaths.PACKAGE_FRAME, |
123 pkgLabel, "", "packageFrame"); |
123 pkgLabel, "", "packageFrame"); |
124 } |
124 } |
125 Content li = HtmlTree.LI(packageLinkContent); |
125 Content li = HtmlTree.LI(packageLinkContent); |
126 return li; |
126 return li; |