From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Tue, 26 Sep 2023 18:05:43 +0000 (-0600)
Subject: Also rename create_anchors -> create_anchors.pl.
X-Git-Tag: relicensing~464^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=29d99a3cac3789ae043deb4a84657c502573cd9c;p=dealii.git

Also rename create_anchors -> create_anchors.pl.
---

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