Opened 8 months ago

Closed 8 months ago

#30464 closed defect (duplicate)

Repair "sage -docbuild"

Reported by: mkoeppe Owned by:
Priority: critical Milestone: sage-duplicate/invalid/wontfix
Component: scripts Keywords:
Cc: jhpalmieri, fbissey, tscrim, dimpase Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description 

./sage -docbuild file=src/sage/geometry/polyhedron/base.py html
Error building the documentation.


    base_dir = os.path.join(DOT_SAGE, 'docbuild', module_name)
NameError: name 'DOT_SAGE' is not defined

This was probably broken in #29111

Change History (2)

comment:1 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-duplicate/invalid/wontfix
  • Status changed from new to needs_review

Sorry, this is a dup of #29651

comment:2 Changed 8 months ago by chapoton

  • Resolution set to duplicate
  • Status changed from needs_review to closed

also broken on linux, by the way

Note: See TracTickets for help on using tickets.