Lines Matching full:title

115 # A shorter title for the navigation bar.  Default is the same as html_title.
189 # (source start file, target name, title, author, documentclass [howto/manual]).
195 # the title page.
235         title = f.readline().rstrip("\n")  variable
238         if len(header) != len(title):
241                     "error: invalid header in %r (does not match title)"
246         if " - " not in title:
250                         "error: invalid title in %r "
258         # Split the name out of the title.
259         name, description = title.split(" - ", 1)
272 # (source start file, target name, title, author,