diff --git a/lib/README.md b/lib/README.md index b45ccf732d6..583ddf91156 100644 --- a/lib/README.md +++ b/lib/README.md @@ -1,4 +1,4 @@ # Read this! These files are not meant to be edited by hand. -If you need to make modifications, the respective files should be changed within the repository's top-level `src` directory. Running ```jake LKG``` will then appropriately update the files in this directory. +If you need to make modifications, the respective files should be changed within the repository's top-level `src` directory. Running `jake LKG` will then appropriately update the files in this directory.