Optimize needless catcode switching in package code

Witiko · Dec 14, 2023 · 3eb7231 · 3eb7231
1 parent bd47207
commit 3eb7231
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -126,6 +126,9 @@ $(EXTRACTABLES): $(INSTALLER) $(DTXARCHIVE)
 	    -e 's#(((VERSION)))#$(VERSION)#g' \
 	    -e 's#(((LASTMODIFIED)))#$(LASTMODIFIED)#g' \
 	    $(INSTALLABLES)
+	sed -i \
+	    -e '/\\ExplSyntaxOff/{N;/\\ExplSyntaxOn/d;}' \
+	    $(INSTALLABLES)
 
 # This target produces the version file.
 $(VERSION_FILE): force