-----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 -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.22 (Darwin) Comment: GPGTools - https://gpgtools.org iQEcBAEBCgAGBQJUI8yLAAoJEFPSi5GyofDjCVMIAKlpsxU7vcDG0fWTUbqHwivG UjSgBpUAX0G4uKdXu2pGpH96S66qiRq+8SEQRabUXnVFQIOy5BaLGpvfHnoaodvj 10lPiiDiHe4w3iRk2oTqvmxE6hzFRDMCAXhNkacuT0VwdgBS1uwji4rqNlKdSqP0 gaiDG0rIPUOE4ElrAsaXqEaPW4HMhq0vlFIGmN+49UhjsHUoTfFlDWwFLd/EBXsK wkmLo75VnxLhgyevzSS9JAN8Y+eiXOmSJ6HiNmiQrDJqpHRGBo+YSLmXPSaKdhJ+ /lLKRlaxwmcrbTw+9GSQgPhwNMpr0w2B/UEBPiPdMnFMnXDfJmwf3zELlnlPB5w= =1P7O -----END PGP SIGNATURE-----