diff -up ./Makefile.orig ./Makefile --- ./Makefile.orig 2019-12-01 19:30:26.328409930 +0200 +++ ./Makefile 2019-12-01 19:30:48.760629211 +0200 @@ -1,13 +1,13 @@ default: basic basic: jadetex.ltx - tex jadetex.ins + etex jadetex.ins jadetex.fmt: basic - tex -ini -progname=jadetex "&latex" jadetex.ini + etex -ini -progname=jadetex "&latex" jadetex.ini pdfjadetex.fmt: basic - pdftex -ini -progname=pdfjadetex "&pdflatex" pdfjadetex.ini + pdfetex -ini -progname=pdfjadetex "&pdflatex" pdfjadetex.ini install: jadetex.fmt pdfjadetex.fmt (TT=$$DESTDIR/`kpsewhich -expand-var '$$TEXMFMAIN'`; \