Skip to content
Snippets Groups Projects
Verified Commit 10abb21b authored by Tóth Miklós Tibor's avatar Tóth Miklós Tibor :shrug:
Browse files

fix

parent f50e9409
No related branches found
No related tags found
No related merge requests found
Pipeline #7967 canceled
...@@ -10,7 +10,7 @@ if [ "$0" != "/tmp/merge/merge.sh" ]; then ...@@ -10,7 +10,7 @@ if [ "$0" != "/tmp/merge/merge.sh" ]; then
fi fi
if [ -d lines ]; then if [ -d lines ]; then
cp -r docs/lines /tmp/ cp -r lines /tmp/
fi fi
cp includes/misc-functions.tex /tmp/merge/misc-functions.tex cp includes/misc-functions.tex /tmp/merge/misc-functions.tex
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment