Avoid use of absolute path names for style file copying
When somebody installs PAKCS with the pre-compiled frontend binary, HTML generation does not work:
> bin/pakcs-frontend --html -i lib Prelude.curry
[1 of 1] Compiling Prelude ( lib/Prelude.curry, Prelude_curry.html )
Error:
Could not copy CSS style file:
File `/net/medoc/home/pakcs/debian-09-amd64/pakcs/frontend/pkg/share/x86_64-linux-ghc-8.4.3/curry-frontend-1.0.4/currysource.css' does not exist
It seems that the absolute path is part of the binary.
Edited by Michael Hanus