Lines Matching refs:title
110 # A shorter title for the navigation bar. Default is the same as html_title.
186 # (source start file, target name, title, author, documentclass [howto/manual]).
193 # the title page.
233 title = f.readline().rstrip('\n')
236 if len(header) != len(title):
238 "error: invalid header in %r (does not match title)" % (
240 if ' - ' not in title:
242 ("error: invalid title in %r "
246 # Split the name out of the title.
247 name,description = title.split(' - ', 1)
259 # (source start file, target name, title, author,
Indexes created Sat Feb 28 05:31:39 UTC 2026