Update link to dev pdf documentation

albinahlback · albinahlback · commit f2b0dd38f357 · 2025-01-13T13:38:22.000+01:00
diff --git a/src/documentation.txt b/src/documentation.txt
@@ -5,7 +5,7 @@
 Go to the <b><a href="doc/">FLINT online documentation</a></b>
 </li>
 <li>
-Download <b><a href="doc/Flint.pdf">FLINT documentation as PDF </a></b>
+Download <b><a href="doc/flint.pdf">FLINT documentation as PDF </a></b>
 </li>
 </ul>
 
