avoid writing tex for #1412

required/tools/build.lua

@@ -38,3 +38,28 @@ checkconfigs = {"build","config-TU","config-legacy","config-search"}
 
 -- Load the common settings for the LaTeX2e repo
 dofile (maindir .. "/build-config.lua")
+
+-- special code to handle .tex
+
+function unpack(sources, sourcedirs)
+  local errorlevel = dep_install(unpackdeps)
+  if errorlevel ~= 0 then
+    return errorlevel
+  end
+  errorlevel = bundleunpack(sourcedirs, sources)
+  if errorlevel ~= 0 then
+    return errorlevel
+  end
+  texio.write(" * Renaming rename-to-empty-base.tex to .tex")
+  errorlevel = ren(unpackdir,"rename-to-empty-base.tex",".tex")
+  if errorlevel ~= 0 then
+    return errorlevel
+  end
+  for _,i in ipairs(installfiles) do
+    errorlevel = cp(i, unpackdir, localdir)
+    if errorlevel ~= 0 then
+      return errorlevel
+    end
+  end
+  return 0
+end

required/tools/tools.ins

@@ -213,12 +213,10 @@ given in the file `manifest.txt'.
 
 \Msg{}
 \Msg{* Finally trying to make a file `.tex'.}
-\Msg{* (Placed at the end of this run, as this}
-\Msg{*  may fail on some operating systems.)}
+\Msg{* TeX may be blocked from writing .tex so writing rename-to-empty-base.tex}
+\Msg{* Rename that file to .tex after the docstrip generation}
 
-\let\oldopenout\openout
-\def\openout{\batchmode\immediate\oldopenout}
 
-\generate{\file{.tex}{\from{fileerr.dtx}{return}}}
+\generate{\file{rename-to-empty-base.tex}{\from{fileerr.dtx}{return}}}
 
 \endbatchfile