add direct link to Python API

rename RGL Synopsis to RGL API
Lower ghc bounds for higher unix dep version
2026-04-09 04:59:31 -06:00 · 2025-08-22 10:37:54 +02:00 · 2025-08-22 09:19:09 +02:00 · 2025-08-19 03:39:44 +02:00 · 2025-08-18 13:51:49 +02:00 · 2025-08-18 13:48:05 +02:00
4 changed files with 10 additions and 6 deletions
--- a/download/index-3.12.md
+++ b/download/index-3.12.md
@@ -23,7 +23,7 @@ Binary packages are available for Debian/Ubuntu, macOS, and Windows and include:
 - C run-time system
 - Python bindings to the C run-time system

-[Binary packages on GitHub](https://github.com/GrammaticalFramework/gf-core/releases/tag/3.12)
+[Binary packages on GitHub](https://github.com/GrammaticalFramework/gf-core/releases/tag/release-3.12)

 #### Debian/Ubuntu

--- a/download/index.html
+++ b/download/index.html
@@ -1,6 +1,6 @@
 <html>
 <head>
-  <meta http-equiv="refresh" content="0; URL=/download/index-3.11.html" />
+  <meta http-equiv="refresh" content="0; URL=/download/index-3.12.html" />
 </head>
 <body>
  You are being redirected to <a href="index-3.12.html">the current version</a> of this page.
--- a/gf.cabal
+++ b/gf.cabal
@@ -349,7 +349,7 @@ library
    build-depends:
      terminfo >=0.4.0 && < 0.5

-    if impl(ghc >= 9.6.6)
+    if impl(ghc >= 9.6)
      build-depends: unix >= 2.8 && < 2.9

    else
--- a/index.html
+++ b/index.html
@@ -62,7 +62,7 @@

    <a href="lib/doc/synopsis/index.html" class="btn btn-primary ml-3">
      <i class="fab fa-readme mr-1"></i>
-      RGL Synopsis
+      RGL API
    </a>
  </div>

@@ -72,8 +72,12 @@
      <li><a href="doc/gf-developers.html">Developers Guide</a></li>
      <!-- <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a></li> -->
      <li>PGF library API:<br>
-        <a href="http://hackage.haskell.org/package/gf/docs/PGF.html">Haskell</a> /
-        <a href="doc/runtime-api.html">C&nbsp;runtime</a>
+        <ul>
+          <li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">Haskell</a>
+          </li><li><a href="doc/runtime-api.html#python">Python</a>
+          </li><li><a href="doc/runtime-api.html">C&nbsp;runtime</a>
+          </li>
+        </ul>
      </li>
      <li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a></li>
      <!-- <li><a href="src/ui/android/README">GF on Android (new)</a></li>
Author	SHA1	Message	Date
Inari Listenmaa	0f4d13dd20	add direct link to Python API	2025-08-22 10:37:54 +02:00
Inari Listenmaa	278397db20	rename RGL Synopsis to RGL API	2025-08-22 09:19:09 +02:00
Andreas Källberg	f31a3496f5	Lower ghc bounds for higher unix dep version This fixes nix builds of gf-lsp	2025-08-19 03:39:44 +02:00
Inari Listenmaa	b753912689	fix redirect?	2025-08-18 13:51:49 +02:00
Inari Listenmaa	000fab7b52	fix github link to release 3.12	2025-08-18 13:48:05 +02:00