diff options
author | Vlad Glagolev | 2019-05-22 16:11:34 +0000 |
---|---|---|
committer | Vlad Glagolev | 2019-05-24 14:52:24 +0000 |
commit | c7eb18516de93dc276df15055e0cf9954f023e9f (patch) | |
tree | c9ad5ef9075d96db7c84a99f57b94926cd53832d /doc | |
parent | b7c75973b4a759f657d6dee31e79a855f4963f3e (diff) |
source-highlight: add missing dependency
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/source-highlight/DEPENDS | 3 | ||||
-rw-r--r-- | doc/source-highlight/HISTORY | 3 |
2 files changed, 5 insertions, 1 deletions
diff --git a/doc/source-highlight/DEPENDS b/doc/source-highlight/DEPENDS index 0212a502b6..35c5e28ea7 100755 --- a/doc/source-highlight/DEPENDS +++ b/doc/source-highlight/DEPENDS @@ -1,4 +1,5 @@ depends AWK && depends bison && depends flex && -depends -sub CXX gcc +depends -sub CXX gcc && +depends -sub REGEX boost diff --git a/doc/source-highlight/HISTORY b/doc/source-highlight/HISTORY index 238ee477eb..8c2852eca2 100644 --- a/doc/source-highlight/HISTORY +++ b/doc/source-highlight/HISTORY @@ -1,3 +1,6 @@ +2019-05-22 Vlad Glagolev <stealth@sourcemage.org> + * DEPENDS: added missing dependency on boost regex library + 2019-05-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 3.1.8 |