Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Thierry Martinez
coccinelle
Commits
26785aa8
Commit
26785aa8
authored
Sep 06, 2021
by
Thierry Martinez
Browse files
Update script find-xxdate to support opam
parent
75f41b14
Pipeline
#288334
passed with stages
in 13 minutes and 27 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
docs/manual/find-xxdate
View file @
26785aa8
...
...
@@ -9,7 +9,7 @@
# Otherwise, a warning is printed on stderr and the script returns 1
file
=
xxdate.exe
directories
=
"/usr/lib64/hevea /usr/share/hevea /usr/local/lib/hevea /opt/local/share/hevea"
directories
=
"
$(
opam var hevea:lib
)
/usr/lib64/hevea /usr/share/hevea /usr/local/lib/hevea /opt/local/share/hevea"
for
dir
in
${
directories
}
;
do
fullpath
=
${
dir
}
/
${
file
}
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment