Need some help to remove non-free documentation

2018-10-22 Thread Nicolas Goaziou
Hello, I'm trying to remove non-free documentation from "giac-xcas" package. It involves removing some files from "doc/" subdirectory in source and updating "Makefile.am". As a consequence, "Makefile.in" has to be updated accordingly. Pain ensues. I tried to first remove "configure" script, so

Re: Need some help to remove non-free documentation

2018-10-24 Thread Ludovic Courtès
Hello Nicolas, Nicolas Goaziou skribis: > I'm trying to remove non-free documentation from "giac-xcas" package. > > It involves removing some files from "doc/" subdirectory in source and > updating "Makefile.am". As a consequence, "Makefile.in" has to be > updated accordingly. Pain ensues. :-)

Re: Need some help to remove non-free documentation

2018-10-25 Thread Nicolas Goaziou
Hello, l...@gnu.org (Ludovic Courtès) writes: Thank you for your answer. > What I would do in a ‘snippet’ or the origin is: > > 1. rm -rf doc > > 2. Remove “doc” from the ‘SUBDIRS’ variable of the top-level > Makefile.in. That would remove all documentation. However, only a tiny part o