Oops... May be I should be a little more precise: 1. I added to the index.rst in reference/logic -- the logicparser file by adding the line sage/logic/logicparser at the appropriate place. 2. I edited the file sage.logic/logicparser.py 3. On the terminal, sage -docbuild reference/logic html 4. HTML documentation created but none of the edits I made are there. 5. I commit and rebuild sage by using ./sage -b 6. On the terminal, sage -docbuild reference/logic html. Now, I see that no targets are out of date...
I am absolutely lost still... On Sun, Mar 17, 2013 at 6:11 AM, Volker Braun <vbraun.n...@gmail.com> wrote: > Can you tell us the precise commands you used? Did you run "sage -docbuild > all html" > > > On Saturday, March 16, 2013 6:19:46 PM UTC-4, KnS wrote: >> >> Hello! >> >> While working on a ticket, I did the following: >> >> I made two changes: added a new file to an index.rst and edited the file >> I added. Then, without committing, I built the documentation. The >> documentation was built but no changes I made was incorporated. I then >> committed the changes. But, now, when I try to build, it says "no targets >> are out of date". >> >> I am now confused about how to build the file with changes I have made to >> it. >> >> This is on sage-5.8.beta3 on Ubuntu 12.04. >> >> Any help would be appreciated. >> > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
