(copy_dir_dir): rename variables.

[midnight-commander.git] / maint / docs / COMMIT_PROCEDURE

Please run the following command:
make indent
in the build root directory before each new commit.