From 0937e9ce7d04cbb701f58aaa724866a9f213822f Mon Sep 17 00:00:00 2001
From: albert-github <albert.tests@gmail.com>
Date: Sat, 8 Jun 2019 15:09:17 +0200
Subject: No space when replacing `\copydoc` by `\copydetails`

In case we have something like (taken loosely from issue #4554):
```
- \subpage id_201201031218 \copydoc id_201201031218
```
this would be translated into:
```
- @subpage id_201201031218\copydetails id_201201031218]
```
and subsequently the first word of the `\copydetails` part is placed directly to the `id_201201031218` resulting in an unknown id like `id_201201031218this`

(This actual case it doesn't make much sense to use a `\copydoc` but this can happen in other cases as well).
---
 src/commentscan.l | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/commentscan.l b/src/commentscan.l
index eb1629e..e75d023 100644
--- a/src/commentscan.l
+++ b/src/commentscan.l
@@ -2298,7 +2298,7 @@ RCSTAG    "$"{ID}":"[^\n$]+"$"
   					  if (*yytext=='\n') yyLineNr++;
 					  addOutput('\n');
 					  setOutput(OutputDoc);
-                                          addOutput("\\copydetails ");
+                                          addOutput(" \\copydetails ");
 					  addOutput(g_copyDocArg);
 					  addOutput("\n");
 					  BEGIN(Comment);
-- 
cgit v0.12