From 5dddfbcf997ef7a9f10a3e755f84ec004a87d1a5 Mon Sep 17 00:00:00 2001
From: carlocamilloni <carlo.camilloni@gmail.com>
Date: Wed, 2 Aug 2017 17:07:53 +0200
Subject: [PATCH] [makedoc]
---
user-doc/extract | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/user-doc/extract b/user-doc/extract
index 1050e4df0..602e6202e 100755
--- a/user-doc/extract
+++ b/user-doc/extract
@@ -121,7 +121,7 @@ awk 'BEGIN{gfile="automatic/GLOSSARY.list"; dfile="automatic/DICTIONARY.list"; }
split($2,array,"_");
if(lfile!="") close(lfile)
lfile="automatic/"array[2]"_OTHERMODULES.list"
- printf "<tr> <td width=%s> \\ref %s </td><td> (from %s module) ","5%", $3 ,array[1] >> lfile
+ printf "<tr> <td width=%s> \\ref %s </td><td> (from \\ref %s module) ","5%", $3 ,array[1] >> lfile
if(afile!="") close(afile)
afile="automatic/ADDITIONALMODULES.list"
cmd="grep description: " array[1]".md | sed -e 's/description://'"
--
GitLab