Source

SageTeX / remote-sagetex.dtx

Diff from to

File remote-sagetex.dtx

 %</remotesagetex>
 % Local Variables:
 % mode: doctex
-% TeX-master: "sagetexpackage"
+% TeX-master: "sagetex"
 % End: