Lines Matching full:personal
697 # The HTML_HEADER tag can be used to specify a personal HTML header for
703 # The HTML_FOOTER tag can be used to specify a personal HTML footer for
839 # The LATEX_HEADER tag can be used to specify a personal la_te_x header for
