<div class="navigation">
<h1> LilyPond documentation</h1>
</div>
- <hr>
<div align="center" class="titlepage">
<p>
<li>
<a class="title" href="../user/out-www/lilypond/index.html">User manual</a>
(in <a class="title" href="../user/out-www/lilypond.pdf">PDF</a>, in
-<a class="title" href="../user/out-www/lilypond/lilypond.html">one big page</a>)
+<a class="title" href="../user/out-www/lilypond.html">one big page</a>)
<br>(everything about LilyPond)