diff options
author | 2011-11-27 23:11:37 +0000 | |
---|---|---|
committer | 2011-11-27 23:11:37 +0000 | |
commit | 07304175d86315fbc89776525d955c80343d865e (patch) | |
tree | 555f9d14fa90e39cd3350e61f7c67d3e2762fd94 /man_html.c | |
parent | 776f2786ee96823180362d9f454bfbe3737761ca (diff) | |
download | mandoc-07304175d86315fbc89776525d955c80343d865e.tar.gz mandoc-07304175d86315fbc89776525d955c80343d865e.tar.zst mandoc-07304175d86315fbc89776525d955c80343d865e.zip |
Save the manual type (mdoc, man, or cat) in the index file
of the mandoc databases, as suggested by kristaps@.
Given the well-structured code, this is surprisingly simple.
This changes the mandoc.index database format.
Run "sudo mandocdb" to regenerate your databases.
Diffstat (limited to 'man_html.c')
0 files changed, 0 insertions, 0 deletions