diff options
Diffstat (limited to 'doc')
| -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.| |