-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512
Hi,
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 :).
Best regards, Stefan
- -- Stefan Schupp M.Sc. RWTH Aachen University Computer Science Department, Informatik 2 D-52056 Aachen, Germany http://www-i2.informatik.rwth-aachen.de/i2/schupp/ Tel.: +49 241 80 21243