diff options
| -rwxr-xr-x | configure | 2 | ||||
| -rw-r--r-- | gmid.conf.5 | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -33,7 +33,7 @@ echo "file config.log: writing..." # default settings: initialize all vars here such that nothing is # leaked from the environment except for CC, CFLAGS and LDFLAGS -VERSION=1.8.5-current +VERSION=1.8.5 CC=`printf "all:\\n\\t@echo \\\$(CC)\\n" | make ${MAKE_FLAGS} -sf -` diff --git a/gmid.conf.5 b/gmid.conf.5 index cbd16fd..1d5bf3f 100644 --- a/gmid.conf.5 +++ b/gmid.conf.5 @@ -264,7 +264,7 @@ The port the server is listening on. .Dq GEMINI .It Ev SERVER_SOFTWARE The name and version of the server, i.e. -.Dq gmid/1.8.4 +.Dq gmid/1.8.5 .It Ev AUTH_TYPE The string "Certificate" if the client used a certificate, otherwise unset. |