fix: update links in header to include file extensions

This commit is contained in:
gribse 2025-05-19 21:20:14 +02:00
parent 3dc1d75406
commit 15a53d417f

View file

@ -3,10 +3,10 @@
<nav>
<div><a href="index.php" onclick=showF('tb')>Introduction</a></div>
<div><a href="page1-son.php" onclick=showF('tb')>Théorie basique du son</a></div>
<div><a href="page2-cs" onclick=showF('cs') >La chauve-souris</a></div>
<div><a href="page3-ex1" onclick=showF('ex1') >Expérience 1 : les ultrasons</a></div>
<div><a href="page4-ex2" onclick=showF('ex2') >Expérience 2 : Le robot</a></div>
<div><a href="page5-ccln" onclick=showF('ccln')>Conclusion</a></div>
<div><a href="page6-src" onclick=showF('src')>Sources</a></div>
<div><a href="page2-cs.php" onclick=showF('cs') >La chauve-souris</a></div>
<div><a href="page3-ex1.php" onclick=showF('ex1') >Expérience 1 : les ultrasons</a></div>
<div><a href="page4-ex2.php" onclick=showF('ex2') >Expérience 2 : Le robot</a></div>
<div><a href="page5-ccln.php" onclick=showF('ccln')>Conclusion</a></div>
<div><a href="page6-src.php" onclick=showF('src')>Sources</a></div>
</nav>
</header>