search

Seasawher / mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
MIT License
13 stars 1 forks source link

auto create internal links #48

Closed Seasawher closed 3 weeks ago

Seasawher commented 2 months ago

Specification

input: [[ anchor text ]]( file path from input directory )

output: [ anchor text ]( relative path from the current file to given path )

Seasawher commented 2 months ago

It is not necessary to convert whole link. It is sufficient to convert relative path from input_dir to relative path from current file.

New Specification

input: (%% path to file without extension. This is specified as relative path from input directory %%)

output: ( relative path from the current file to the given path )