diff --git a/doc/updated-sources.txt_old b/doc/updated-sources.txt similarity index 100% rename from doc/updated-sources.txt_old rename to doc/updated-sources.txt