diff options
author | davidovski <david@davidovski.xyz> | 2022-03-03 00:13:55 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-03-03 00:13:55 +0000 |
commit | 2fea415a8b6ab9eae92686a182341d8f5fe56d00 (patch) | |
tree | 889fee82b0ebde2870be7673fc7eff9c2bc2efeb /repo/devel/flex.xibuild | |
parent | 92a76bb80efda3fcb96cb0a990ae5bfa658449d1 (diff) |
fixed docbook issues
Diffstat (limited to 'repo/devel/flex.xibuild')
-rw-r--r-- | repo/devel/flex.xibuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/repo/devel/flex.xibuild b/repo/devel/flex.xibuild index 1700c0c..623f963 100644 --- a/repo/devel/flex.xibuild +++ b/repo/devel/flex.xibuild @@ -18,7 +18,7 @@ check () { package () { make DESTDIR=$PKG_DEST install - ln -sv flex $PKG_DEST/usr/bin/lex + ln -s flex $PKG_DEST/usr/bin/lex } |