On 24.04.2024 00:01, James Almer wrote:
On 4/23/2024 6:57 PM, Timo Rothenpieler wrote:
This is neccesary on WSL, and has no averse effects in normal
environments.
---
doc/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/Makefile b/doc/Makefile
index
On 4/23/2024 6:57 PM, Timo Rothenpieler wrote:
This is neccesary on WSL, and has no averse effects in normal
environments.
---
doc/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/Makefile b/doc/Makefile
index 67586e4b74..98d29f1c66 100644
--- a/doc/Makefile
This is neccesary on WSL, and has no averse effects in normal
environments.
---
doc/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/Makefile b/doc/Makefile
index 67586e4b74..98d29f1c66 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -60,7 +60,7 @@ GENTEXI :=