Merge pull request RIOT-OS#16810 from fjmolinas/pr_no_udev_link

doc/doxygen/src/advanced-build-system-tricks: fix no udev link
hugueslarrive · Sep 3, 2021 · d96a7f9 · d96a7f9
2 parents c98c488 + b26e4c0
commit d96a7f9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/doxygen/src/advanced-build-system-tricks.md b/doc/doxygen/src/advanced-build-system-tricks.md
@@ -172,8 +172,8 @@ Documentation:
 * Udev manpage
   http://manpages.ubuntu.com/manpages/eoan/en/man7/udev.7.html
 
-# Handling multiple boards without udev-rules
-=============================================
+Handling multiple boards without udev-rules           {#multiple-boards-no-udev}
+===========================================
 
 This is a simpler approach to the above mentioned issue. The solution here only
 uses a makefile script for selecting the debugger and serial port. No