Try "sage -docbuild all html" and see if it gets picked up. The two-step docbuild process might need that once if a new file is added.
On Saturday, March 16, 2013 9:04:46 PM UTC-4, KnS wrote: > > 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 <vbrau...@gmail.com<javascript:> > > 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+...@googlegroups.com <javascript:>. >> To post to this group, send email to sage-...@googlegroups.com<javascript:> >> . >> 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.
