From c36620d97b06062d1d651c7bdc8bb4f6f2d95647 Mon Sep 17 00:00:00 2001 From: Paulo Roberto Massa Cereda Date: Fri, 9 Mar 2012 12:26:31 -0300 Subject: [PATCH] Replaced `lua` by `texlua`. That way, we ensure compatibility with the current TeX distros. --- checkcites.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/checkcites.lua b/checkcites.lua index 4803490..5a2767d 100644 --- a/checkcites.lua +++ b/checkcites.lua @@ -1,4 +1,4 @@ -#!/usr/bin/env lua +#!/usr/bin/env texlua -- ****************************************************************** -- checkcites.lua -- Copyright 2012 Enrico Gregorio, Paulo Roberto Massa Cereda