Lines Matching full:title

119 # A shorter title for the navigation bar.  Default is the same as html_title.
200 # (source start file, target name, title, author, documentclass [howto/manual]).
206 # the title page.
247         title = f.readline().rstrip("\n")
249         m = re.match(r"^# (\S+) - (.+)$", title)
252                 "error: invalid title in %r "
271         title = f.readline().rstrip("\n")
274         if len(header) != len(title):
276                 "error: invalid header in %r (does not match title)" % file_subpath,
279         if " - " not in title:
281                 "error: invalid title in %r "
285         # Split the name out of the title.
286         name, description = title.split(" - ", 1)