diff --git a/build/pkgs/giac/spkg-src b/build/pkgs/giac/spkg-src index 4756a6d18e7..4d093016af8 100755 --- a/build/pkgs/giac/spkg-src +++ b/build/pkgs/giac/spkg-src @@ -46,7 +46,7 @@ tar -xzf giac"$SOURCEORIG".tar.gz mv giac-"$VERSION" src # remove unnecessary files -rm -rf src/debian src/debianold src/doc/pari/*.html +rm -rf src/doc/pari/*.html # removing french html doc, but keep keywords, and working makefiles. # NB: the french html doc is huge and not GPL.