Code

gitweb: avoid undefined value warning in print_page_path