diff options
Diffstat (limited to 'html/screenshot.html')
| -rw-r--r-- | html/screenshot.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/screenshot.html b/html/screenshot.html index b57c0d37..662c19a4 100644 --- a/html/screenshot.html +++ b/html/screenshot.html @@ -103,6 +103,6 @@ graphical features are reduced! </table> <p> -For more pictures, see the Proof General <a href="gallery.phtml">gallery</a>. +For more pictures, see the Proof General <a href="gallery.html">gallery</a>. </p> |