diff --git a/doc/lib-header.txt b/doc/lib-head+tail
similarity index 100%
rename from doc/lib-header.txt
rename to doc/lib-head+tail