From c63175dce7d49019a648701bfd06b6d7769cf51d Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Tue, 24 Jan 2023 16:22:15 +0100
Subject: makefile: new rule for HAL

---
 makefile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/makefile b/makefile
index bb09058..a0a6362 100644
--- a/makefile
+++ b/makefile
@@ -1,5 +1,5 @@
 pkg := arabluatex
-ver  := $(shell ltxfileinfo -v $(pkg).dtx|sed -e 's/^v//')
+VERS  := $(shell ltxfileinfo -v $(pkg).dtx|sed -e 's/^v//')
 TEXMFDIR := $(shell kpsewhich -expand-var='$$TEXMFHOME')
 HOMEDIR := $$HOME
 CMP = lualatex-dev
@@ -56,9 +56,12 @@ auctex: clean
 
 zip: all
 	ln -sf . $(pkg)
-	zip -Drq $(PWD)/$(pkg)-$(ver).zip $(pkg)/{samples,README.md,$(pkg)*.{pdf,sty,lua,el}}
+	zip -Drq $(PWD)/$(pkg)-$(VERS).zip $(pkg)/{samples,README.md,$(pkg)*.{pdf,sty,lua,el}}
 	rm $(pkg)
 
+hal: clean
+	zip -Drq $(PWD)/$(pkg)-$(VERS).zip *
+
 package: clean all
 	mkdir -p arabluatex/samples/
 	cp *.{lua,ins,dtx,md,pdf} makefile README.tex arabluatex/ # .bib is in dtx
@@ -71,7 +74,7 @@ package: clean all
 	mkdir -p source/lualatex/arabluatex/
 	cp *.{ins,dtx,tex,md}  makefile source/lualatex/arabluatex/ # .bib is in dtx
 	zip -r arabluatex.tds.zip tex doc source
-	tar czf arabluatex-$(ver).tar.gz arabluatex.tds.zip arabluatex/
+	tar czf arabluatex-$(VERS).tar.gz arabluatex.tds.zip arabluatex/
 
 clean:
 	rm -rf $(TEXMFDIR)/{tex,doc}/lualatex/arabluatex/
-- 
cgit v1.2.3