diff --git a/collects/picturing-programs/doc.scrbl b/collects/picturing-programs/picturing-programs.scrbl
similarity index 100%
rename from collects/picturing-programs/doc.scrbl
rename to collects/picturing-programs/picturing-programs.scrbl