1 files changed, 13 insertions, 0 deletions
diff --git a/libstdc++-v3/docs/doxygen/filter b/libstdc++-v3/docs/doxygen/filter
new file mode 100755
index 00000000000..4ea2d41b955
--- /dev/null
+++ b/libstdc++-v3/docs/doxygen/filter
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+script=$1
+file=$2
+
+# Possibly allow some files to go unchanged.  Other
+# future manipulations are likely.
+case $file in
+ */alloc_policies.h)
+  cat $file ;;
+ *) sed -f $script $file ;;
+esac
+