4
4
<title><%= @section_title %></title>
5
5
<link rev="made" href="mailto:dhelp@packages.debian.org">
6
6
<link rel="stylesheet" href="<%= @doc_path_prefix %>dhelp/dhelp.css">
8
8
<script type="text/javascript">
9
9
function fetch_document(path) {
10
10
var online = location.href.match(/^http/)