On Sep 23, 2008, at 11:15 , CristianCantoro wrote:
> > Hi! > > On Sep 23, 3:03 am, mabshoff <[EMAIL PROTECTED]> wrote: >> There is a README.txt in devel/doc which might be hepful. You should >> also "source local/bin/sage-env" from $SAGE_ROOT before running make >> in the doc directory. Another thing worth trying is to delete all of >> the various temporary TeX remnants like *.toc files since those tend >> to cause trouble when switching from TeTeX to certain distributions >> like TeX Live. > > Thanks Michael, that worked! > just to know... what does "source local/bin/sage-env" do? > I will start the translation as soon as I can. 'source' is a shell built-in that reads shell commands from the named file (until EOF) and then goes back to its previous source of input. It executes the commands in its own process, not in a subshell, so the effects remain after the end of the file. See the man page for the shell you are using for details (I'm not sure that all shells support this; and the name of the command may change. '.' is a synonym for 'source' [at least for "bash"]). HTH Justin -- Justin C. Walker, Curmudgeon at Large Director Institute for the Enhancement of the Director's income ----------- -- They said it couldn't be done, but sometimes, it doesn't work out that way. - Casey Stengel -- --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
