36 |
|
|
37 |
dbg = config.dbg.shorthand('link') |
dbg = config.dbg.shorthand('link') |
38 |
|
|
39 |
|
config.linkpackages['jlink'] = '' |
40 |
|
|
41 |
class JLinkPackage(navidoc.Element): |
class JLinkPackage(navidoc.Element): |
42 |
key = "jlinkpackage" |
key = "jlinkpackage" |
43 |
|
|
44 |
def __init__(self, var, s, list): |
def __init__(self, var, s, list): |
45 |
dbg("Set linkpackage to: "+s) |
dbg("Set jlinkpackage to: "+s) |
46 |
config.linkpackage = s |
config.linkpackages['jlink'] = s |
47 |
|
|
48 |
def setup_code(self): return '' |
def setup_code(self): return '' |
49 |
|
|
71 |
if re.match('^[a-z]', parts[-1]): |
if re.match('^[a-z]', parts[-1]): |
72 |
self.target = slashify(self.target) + 'package-summary.html' |
self.target = slashify(self.target) + 'package-summary.html' |
73 |
else: |
else: |
74 |
if len(config.linkpackage) > 0: |
if len(config.linkpackages['jlink']) > 0: |
75 |
package_parts = config.linkpackage.split('.') |
package_parts = config.linkpackages['jlink'].split('.') |
76 |
jlinkpackage = '/'.join(package_parts) |
jlinkpackage = '/'.join(package_parts) |
77 |
self.target = slashify(jlinkpackage)+self.target |
self.target = slashify(jlinkpackage)+self.target |
78 |
self.target = self.target + '.html' |
self.target = self.target + '.html' |