#16303: 'make doc-clean' calls system-wide 'git'
----------------------+----------------------------
   Reporter:  leif    |            Owner:
       Type:  defect  |           Status:  new
   Priority:  minor   |        Milestone:  sage-6.3
  Component:  build   |         Keywords:
  Merged in:          |          Authors:
  Reviewers:          |  Report Upstream:  N/A
Work issues:          |           Branch:
     Commit:          |     Dependencies:
   Stopgaps:          |
----------------------+----------------------------
 From sage-devel:
 {{{
 sage-6.2 build successfully, but perhaps the make doc-clean was not
 successful

 make doc-clean
 cd src/doc && make -j4 clean
 Deleting generated docs...
 rm -rf en/reference/*/sage
 rm -rf en/reference/*/sagenb
 rm -rf en/reference/sage
 rm -rf en/reference/sagenb
 rm -rf output
 git clean -f -d .
 make[1]: git: No such file or directory
 make[1]: *** [clean] Error 1
 make: *** [doc-clean] Error 2


 What am I supposed to do?
 }}}

 In `src/doc/Makefile` we have:
 {{{
 #!make
 all:
         @echo "Please build the doc using either 'make doc' from
 SAGE_ROOT, or"
         @echo "'sage -docbuild all html'. See 'sage -docbuild help' for
 more informations."
 clean:
         @echo "Deleting generated docs..."
         rm -rf en/reference/*/sage
         rm -rf en/reference/*/sagenb
         rm -rf en/reference/sage
         rm -rf en/reference/sagenb
         rm -rf output
         git clean -f -d .
 }}}

 and that's called from the top-level `Makefile` (outside a Sage subshell).

--
Ticket URL: <http://trac.sagemath.org/ticket/16303>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to