From e43e92de12f76d09ca858dcc4ccf2060f9c5d4cd Mon Sep 17 00:00:00 2001 From: Bastien Date: Sat, 19 Nov 2022 14:25:20 +0100 Subject: [PATCH] mk/orgcard2txt.pl: Get version from org-version.tex See https://list.orgmode.org/orgmode/20221018181338.74812f94@debian/ Reported-by: Norwid Behrnd Acked-by: Ihor Radchenko --- mk/orgcard2txt.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mk/orgcard2txt.pl b/mk/orgcard2txt.pl index 4f7c2f37f..d8438649a 100755 --- a/mk/orgcard2txt.pl +++ b/mk/orgcard2txt.pl @@ -45,7 +45,7 @@ sub rep_esc{ my $page=0; my $orgversionnumber; -open(IN,$ARGV[0]); +open(IN,"org-version.tex"); while(){ last if(/\f/); $orgversionnumber = $1 if /\\def\\orgversionnumber{([^}]+)}/;