2 files changed, 15 insertions, 9 deletions

diff --git a/arabluatex.dtx b/arabluatex.dtx
index a2a61cd..0142c1e 100644
--- a/arabluatex.dtx
+++ b/arabluatex.dtx
@@ -4640,7 +4640,7 @@ wa-ya.sIru ta.hta 'l-jild-i
 %    \end{macrocode}
 % \end{macro}
 % 
-% \paragraph{Exporting Unicode Arabic to external file}
+% \paragraph*{Exporting Unicode Arabic to external file}
 % \begin{macro}{\SetArbOutSuffix}
 % \changes{v1.13}{2018/08/13}{Sets a suffix to be appended to the
 % filename of the external Unicode file.}By default, |_out| is the
@@ -4654,11 +4654,16 @@ wa-ya.sIru ta.hta 'l-jild-i
 %    \end{macrocode}
 % \end{macro}
 % \begin{macro}{\ArbOutFile}
-% \changes{v1.13}{2018/08/13}{Silently exports its argument in the selected
-% external file.} \cs{ArbOutFile}\oarg{newline}\marg{string} silently
-% exports \meta{string} to the external selected file. It may take
-% |newline| as an optional argument in which case a carriage return is
-% appended to |string|.
+%   \changes{v1.13}{2018/08/13}{Silently exports its argument in the
+%   selected external file.}
+%   \cs{ArbOutFile}\oarg{newline}\marg{string} silently exports
+%   \meta{string} to the external selected file. It may take |newline|
+%   as an optional argument in which case a carriage return is
+%   appended to |string|.
+% \begin{macro}{\ArbOutFile*}
+%   \cs{ArbOutFile*}\oarg{newline}\marg{string} does the same as
+%   \cs{ArbOutFile} but also inserts \meta{string} in the current
+%   |.tex| source file.
 %    \begin{macrocode}
 \NewDocumentCommand{\ArbOutFile}{s O{no} +m}{%
   \if@pkg@export%
@@ -4668,6 +4673,7 @@ wa-ya.sIru ta.hta 'l-jild-i
   \else\IfBooleanTF{#1}{#3}{}\fi}
 %    \end{macrocode}
 % \end{macro}
+% \end{macro}
 % \begin{environment}{arabexport}
 %   \changes{v1.13}{2018/08/13}{Processes and print its argument in
 %   the current file and exports it in full Unicode in the external
diff --git a/arabluatex.lua b/arabluatex.lua
index 3bb9211..67c6cec 100644
--- a/arabluatex.lua
+++ b/arabluatex.lua
@@ -805,7 +805,7 @@ function processvoc(str, rules, scheme)
       tofile = "\\txarb{"..str.."}"
       tooutfile(tofile)
    elseif export_utf == "arabverse" then
-      tofile = "\\txarb{"..str.."}"
+      tofile = str
       tooutfile(tofile)
       return str
    else
@@ -836,7 +836,7 @@ function processfullvoc(str, rules, scheme)
       tofile = "\\txarb{"..str.."}"
       tooutfile(tofile)
    elseif export_utf == "arabverse" then
-      tofile = "\\txarb{"..str.."}"
+      tofile = str
       tooutfile(tofile)
       return str
    else
@@ -865,7 +865,7 @@ function processnovoc(str, rules, scheme)
       tofile = "\\txarb{"..str.."}"
       tooutfile(tofile)
    elseif export_utf == "arabverse" then
-      tofile = "\\txarb{"..str.."}"
+      tofile = str
       tooutfile(tofile)
       return str
    else