From: Marc Fehling <mafehling.git@gmail.com>
Date: Fri, 1 Nov 2024 12:07:13 +0000 (-0600)
Subject: Merge pull request #17824 from bangerth/exclude
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4653e2b50c9d9ee8bab4dc275b12be2b819ba9db;p=dealii.git

Merge pull request #17824 from bangerth/exclude

Also exclude 'doc/entry-name' from showing up in code gallery programs.
---

4653e2b50c9d9ee8bab4dc275b12be2b819ba9db