X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=63972bb3e49bbc869ada2657543ad5a96e7af048;hb=ea411b6c81ab5895051535a4730210a66d4be388;hp=6d2e6ebcc68bac6a69977b372749abcefa79f60b;hpb=68822d68b12db1175aa3749997a48d1d84212540;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 6d2e6ebcc6..63972bb3e4 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -67,12 +67,12 @@ doc_pspp_dev_TEXINFOS = doc/version-dev.texi \
 dist_man_MANS += doc/pspp.1 \
                  doc/psppire.1
 
-EXTRA_DIST += doc/get-commands.pl \
+EXTRA_DIST += doc/get-commands.py \
               doc/help-pages-list \
               doc/prepdoc.sh
 
-$(srcdir)/doc/ni.texi: $(top_srcdir)/src/language/command.def doc/get-commands.pl
-	$(AM_V_GEN)$(PERL) $(top_srcdir)/doc/get-commands.pl $(top_srcdir)/src/language/command.def > $@
+$(srcdir)/doc/ni.texi: $(top_srcdir)/src/language/command.def doc/get-commands.py
+	$(AM_V_GEN)$(PYTHON3) $(top_srcdir)/doc/get-commands.py $(top_srcdir)/src/language/command.def > $@
 
 $(srcdir)/doc/tut.texi:
 	$(AM_V_GEN)echo "@set example-dir $(examplesdir)" > $@