Skip to content
Snippets Groups Projects
Commit f2edd575 authored by Thomas Fetzer's avatar Thomas Fetzer
Browse files

[doxygen] Generalize sanitizing of links

parent 987e80f3
No related branches found
No related tags found
4 merge requests!600[WIP][components][plotproperties] Add a source file to plot properties of some components,!501Freeflow/turbulenceproperties,!492Resolve "Inconsistent `index()` method of the different `SubControlVolume` classes",!412Doxygen
...@@ -10,11 +10,11 @@ documenting C/C++ code. ...@@ -10,11 +10,11 @@ documenting C/C++ code.
The <a href="pages.html">Related Pages</a> gives a good overview on everything beyond the The <a href="pages.html">Related Pages</a> gives a good overview on everything beyond the
actual DuMuX code. actual DuMuX code.
This includes a <a href="a07334.html">bibliography</a> of the publications DuMuX is based on.<br> This includes a Bibliography of the publications DuMuX is based on.<br>
Further, a \ref parameterList containing all implemented parameters and Further, a \ref parameterList containing all implemented parameters and
a \ref featureList of special features used in the test problems is available.<br> a \ref featureList of special features used in the test problems is available.<br>
Auxiliary script files can be find in \ref Binaries.<br> Auxiliary script files can be find in \ref Binaries.<br>
In addition, the current ToDos, warnings, and deprecations are listed. In addition, the current Todo List, Warning List, and Deprecated List are given.
\section mods Modules \section mods Modules
......
...@@ -3,10 +3,14 @@ ...@@ -3,10 +3,14 @@
sanitizelinks () { sanitizelinks () {
NEW_FILE=`grep -l "\"title\">$1" html/*html | egrep -o [0-9]+` NEW_FILE=`grep -l "\"title\">$1" html/*html | egrep -o [0-9]+`
OLD_FILE=`awk -v a=$NEW_FILE 'BEGIN {printf("%05d", a-1)}'` OLD_FILE=`awk -v a=$NEW_FILE 'BEGIN {printf("%05d", a-1)}'`
sed -i "s/$OLD_FILE/$NEW_FILE/g" html/*html # echo $1: $OLD_FILE $NEW_FILE
sed -i "s#$OLD_FILE#$NEW_FILE#g" html/a*html
sed -i "s# $1 # <a href=\"a$NEW_FILE.html\">$1</a> #g" html/index.html
sed -i "s# $1,# <a href=\"a$NEW_FILE.html\">$1</a>,#g" html/index.html
} }
sanitizelinks "Todo List" sanitizelinks "Deprecated List" # has to be called before Todo List
sanitizelinks "Todo List" # has to be called before Warning List
sanitizelinks "Warning List"
sanitizelinks "Bug List" sanitizelinks "Bug List"
sanitizelinks "Deprecated List"
sanitizelinks "Bibliography" sanitizelinks "Bibliography"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment