diff options
Diffstat (limited to 'Documentation/developers_manual.dox')
| -rw-r--r-- | Documentation/developers_manual.dox | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/developers_manual.dox b/Documentation/developers_manual.dox index 6326d453bd..2f7d3605ef 100644 --- a/Documentation/developers_manual.dox +++ b/Documentation/developers_manual.dox @@ -1,6 +1,6 @@ /** @page developers_manual Developer's Manual -This part of the documentation is intended for developers of barebox. +This part of the documentation is intended for developers of @a barebox. @section devel_backgrounds Some background knowledge for some frameworks barebox |