diff options
Diffstat (limited to 'doc/source-highlight/DETAILS')
-rwxr-xr-x | doc/source-highlight/DETAILS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source-highlight/DETAILS b/doc/source-highlight/DETAILS index 4c51ec5ba2..fce8e25732 100755 --- a/doc/source-highlight/DETAILS +++ b/doc/source-highlight/DETAILS @@ -1,5 +1,5 @@ SPELL=source-highlight - VERSION=1.11 + VERSION=3.1.7 SOURCE=${SPELL}-${VERSION}.tar.gz SOURCE2=$SOURCE.sig SOURCE_DIRECTORY=${BUILD_DIRECTORY}/${SPELL}-${VERSION} |