diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2022-08-17 07:38:51 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-08-17 07:38:51 +0200 |
| commit | 287fd8e3bc60fa69f1ae486efbd635f43ba599ce (patch) | |
| tree | 2b0aac695b8ed4b1ce4e696073040e19f90f8337 | |
| parent | 9a75492345d03177a38c816d491993d9272ec578 (diff) | |
Fix typo in manual
| -rw-r--r-- | doc/manual.cli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index 22db262..6b463f6 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -458,7 +458,7 @@ invocation. In other words, expect an experience similar to a plain \c{Makefile}. One notable example where simple projects are handy is a \i{glue -\c{buildfiles}} that \"pulls\" together several other projects, usually for +\c{buildfile}} that \"pulls\" together several other projects, usually for convenience of development. See \l{#intro-import Target Importation} for details.| |