From d7da84775447138b8e2095cd7744dfd8209fa1c2 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Sat, 14 Oct 2023 15:44:14 -0400
Subject: [PATCH] maxima: unbreak ecl build

---
 srcpkgs/maxima/template | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/maxima/template b/srcpkgs/maxima/template
index ef46df5b713ce..fb8b6b7059da4 100644
--- a/srcpkgs/maxima/template
+++ b/srcpkgs/maxima/template
@@ -1,7 +1,7 @@
 # Template file for 'maxima'
 pkgname=maxima
 version=5.47.0
-revision=3
+revision=4
 build_style=gnu-configure
 configure_args="$(vopt_enable clisp) $(vopt_enable sbcl sbcl-exec) $(vopt_enable ecl)"
 hostmakedepends="python3 perl texinfo patchelf $(vopt_if ecl ecl)"
@@ -46,6 +46,8 @@ post_configure() {
 	touch -c doc/info/*.html
 	touch -c doc/info/maxima.info*
 	touch -c doc/info/maxima_toc.html
+	touch -c doc/info/maxima-index.lisp
+	touch -c doc/info/maxima-index-html.lisp
 	touch -c interfaces/xmaxima/doc/xmaxima.html
 }