diff options
| author | Bastien <bzg@gnu.org> | 2022-11-19 14:27:52 +0100 |
|---|---|---|
| committer | Bastien <bzg@gnu.org> | 2022-11-19 14:27:52 +0100 |
| commit | ab3d49c8b0913126a35d4d5024dd21fd8021e1f2 (patch) | |
| tree | 9ee46d4ad2e0b7c72c081905a25fc6279af8e4c5 /mk | |
| parent | 0b124d796865c4fe9937f9bc0b5e18813efb57c4 (diff) | |
| parent | e43e92de12f76d09ca858dcc4ccf2060f9c5d4cd (diff) | |
Merge branch 'bugfix'
Diffstat (limited to 'mk')
| -rwxr-xr-x | mk/orgcard2txt.pl | 2 |
1 files changed, 1 insertions, 1 deletions
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(<IN>){ last if(/\f/); $orgversionnumber = $1 if /\\def\\orgversionnumber{([^}]+)}/; |