2020-03-06 02:29:00 +00:00
|
|
|
--langdef=mu
|
|
|
|
--langmap=mu:.mu
|
|
|
|
--regex-mu=/^fn[ \t]+([^ \t]*)/\1/d,definition/
|
|
|
|
--regex-mu=/^type[ \t]+([^ \t]*)/\1/t,typeref/
|
|
|
|
|
2019-07-27 23:01:55 +00:00
|
|
|
--langdef=subx
|
|
|
|
--langmap=subx:.subx
|
|
|
|
--regex-subx=/^([^$ #][^ #]*):/\1/d,definition/
|