mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-18 12:52:44 +01:00
acdcaf16a5
This is purely to finally unblock RIOT-OS/riotdocker#104, but may also be useful to add future exclude patterns. Exclude file was generated using ```sh make doc 2> dist/tools/doccheck/exclude_patterns_base grep "^${PWD}" dist/tools/doccheck/exclude_patterns_base | \ sed -E -e "s#^${PWD}/(.*:)([0-9]+): #\1DIGITS_MAGIC: #" \ -e 's/[]\\.$*{}|+?()[^-]/\\&/g' \ -e 's/:DIGITS_MAGIC:/:[0-9]+:/' \ > dist/tools/doccheck/exclude_patterns rm dist/tools/doccheck/exclude_patterns_base ``` |
||
---|---|---|
.. | ||
check.sh | ||
exclude_patterns |