+def substitute_navigation(html, xmldir)
+ if xmldir.parent.name == 'dir'
+ nav = ''
+ path = '..'
+ parent = xmldir.parent
+ while parent.name == 'dir'
+ parentcaption = parent.attributes['subdirs-caption'] || File.basename(parent.attributes['path'])
+ nav = "<a href=\"#{path}/index.html\">#{parentcaption}</a> #{utf8(_(" > "))} #{nav}"
+ path += '/..'
+ parent = parent.parent
+ end
+ html.gsub!(/~~ifnavigation\?~~(.+?)~~fi~~/) { $1 }
+ html.gsub!(/~~navigation~~/, nav + (xmldir.attributes['subdirs-caption'] || File.basename(xmldir.attributes['path'])))
+ else
+ html.gsub!(/~~ifnavigation\?~~(.+?)~~fi~~/, '')
+ end
+end
+