Lines Matching full:generator
98 The purpose of each page generator is to print a complete HTML page,
104 Each page generator ends with a call to
108 This page generator is used when
122 This page generator is used when
183 This page generator is used when
195 This page generator is used when
207 This page generator is used by various functions when errors are
241 This generator calls
253 This generator prints a search form, filling it with data
273 This generator translates a preformatted, backspace-encoded manual
276 This generator formats a manual page on the standard output,
282 This generator copies the file