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