mirror of
https://gitlab.com/libeigen/eigen.git
synced 2024-12-27 07:29:52 +08:00
15 lines
339 B
Bash
Executable File
15 lines
339 B
Bash
Executable File
#!/bin/sh
|
|
|
|
echo "namespace Eigen {"
|
|
echo "/** \page ExampleList"
|
|
echo "<h1>Selected list of examples</h1>"
|
|
|
|
grep \\addexample $1/Eigen/src/*/*.h -R | cut -d \\ -f 2- | \
|
|
while read example;
|
|
do
|
|
anchor=`echo "$example" | cut -d " " -f 2`
|
|
text=`echo "$example" | cut -d " " -f 4-`
|
|
echo "\\\li \\\ref $anchor \"$text\""
|
|
done
|
|
echo "*/"
|
|
echo "}" |