On Friday, March 10, 2017 at 9:31:38 AM UTC+1, Jeroen Demeyer wrote:
>
> On 2017-03-10 00:11, Kwankyu Lee wrote:
> > Am I understanding the situation right?
>
> Mostly. I think the problem is that the .rst files for removed Sage
> library files are not removed.
I investigated this problem,
On 2017-03-10 00:11, Kwankyu Lee wrote:
Am I understanding the situation right?
Mostly. I think the problem is that the .rst files for removed Sage
library files are not removed.
If so, then this is something to be fixed
Obviously
and would you give some pointers to where I should look?
Hi,
If I switch the current git branch to another in the sage repository and
build sage, then sage copies and compiles only updated files. I expected
the same happens when I build the sage reference manual. That is, among all
rst files under the directories en/reference/*/sage, exactly those
c
