On 09/25/14 10:04, Stefan Schupp wrote:
due to a new setup I tried to install PPL from git. There seem to be some errors concerning the documentation:
mkdir -p -- /usr/local/share/doc/ppl/ppl-user-1.2pre1-html gzip: ./ppl-user-1.2pre1-html.tar.gz: No such file or directory tar: This does not look like a tar archive tar: Exiting with failure status due to previous errors /usr/bin/install: cannot stat ‘ppl-user-1.2pre1-html/*’: No such file or directory mkdir -p -- /usr/local/share/doc/ppl/ppl-user-c-interface-1.2pre1-html gzip: ./ppl-user-c-interface-1.2pre1-html.tar.gz: No such file or directory tar: This does not look like a tar archive tar: Exiting with failure status due to previous errors /usr/bin/install: cannot stat ‘ppl-user-c-interface-1.2pre1-html/*’: No such file or directory make[2]: *** [install-html] Error 1
I figured out to install PPL, this can be considered a report :).
Hello Stefan. This should be fixed in the Git version now. Thanks a lot for reporting,
Roberto