diff --git a/docs/write_source_files.md b/docs/write_source_files.md index 09c5d930f..1e7d4341f 100644 --- a/docs/write_source_files.md +++ b/docs/write_source_files.md @@ -13,7 +13,7 @@ write_source_file(name,