idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.5k stars 375 forks source link

Doc: Use executable command for opening lib docs #3268

Closed danielrainer closed 4 months ago

danielrainer commented 5 months ago

Description

The previous command does not work in any shell I am aware of. The new one directly opens the library documentation in $BROWSER if it is set and otherwise just echos the path to index.html.