• Robert Ricci's avatar
    Clean up references · fd63e396
    Robert Ricci authored
    Make all #:tags somewhat consistent
    
    Always use @seclink instead of @secref. The latter is neat, but it's
    just too hard to keep track of what the titles are.
    
    Make all @seclinks resolve (in some cases creating stub sections)
    fd63e396
getting-help.scrbl 689 Bytes