doc/mkref: Add some refmiscinfo for man pages

Make the man pages a bit neater.

diff --git a/doc/mkref b/doc/mkref
index 10a62844206f553f622d204cb9144230628f598a..ea9e381aee40dd7fd307378cdac02c94bb361fa0 100755 (executable)
--- a/doc/mkref
+++ b/doc/mkref
@@ -47,6 +47,8 @@ while($s = <>){
   <refmeta>
     <refentrytitle>$funcname</refentrytitle>
     <manvolnum>$manvolnum</manvolnum>
+       <refmiscinfo class=\"source\">Comedi</refmiscinfo>
+       <refmiscinfo class=\"manual\">Comedi reference</refmiscinfo>
   </refmeta>
 
   <refnamediv>