From 29d99a3cac3789ae043deb4a84657c502573cd9c Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 26 Sep 2023 12:05:43 -0600 Subject: [PATCH] Also rename create_anchors -> create_anchors.pl. --- doc/doxygen/scripts/{create_anchors => create_anchors.pl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/doxygen/scripts/{create_anchors => create_anchors.pl} (100%) diff --git a/doc/doxygen/scripts/create_anchors b/doc/doxygen/scripts/create_anchors.pl similarity index 100% rename from doc/doxygen/scripts/create_anchors rename to doc/doxygen/scripts/create_anchors.pl -- 2.39.5