diff --git a/doc/l3.texi b/doc/ledger3.texi
similarity index 100%
rename from doc/l3.texi
rename to doc/ledger3.texi