@macro docLinks{name,base,refLink,split,big,bigsize,pdf,pdfsize}
@subheading Read it
-@itemize
+@docLinksBare{\name\,\base\,\refLink\,\split\,\big\,\bigsize\,\pdf\,\pdfsize\}
+
+@end macro
+
-@c normal case, special online case
+@macro docLinkSplit{name,base,webLink}
@ifclear web_version
- @item \refLink\:
+ @uref{../\base\/index.html, \name\ (split HTML)}
@end ifclear
@ifset web_version
- @c we assume that the online web version will be split html
- @item \split\:
+ \webLink\
@end ifset
-read this manual in the same format as this one.
-
-@end itemize
-
-@subheading All formats
-
-@divClass{keep-bullets}
-@itemize
+@end macro
+@macro docLinkBig{name,base,webLink}
@ifclear web_version
- @item @uref{../\base\/index.html, \name\ (split HTML)}:
+ @uref{../\base\-big-page.html, \name\ (big HTML)}
@end ifclear
@ifset web_version
- @item \split\
+ \webLink\
@end ifset
- the manual is split between many HTML pages.
- @*@ @ @emph{(small download for each page)}
+@end macro
+@macro docLinkPdf{name,base,webLink}
@ifclear web_version
- @item @uref{../\base\-big-page.html, \name\ (big HTML)}:
+ @uref{../\base\.pdf, \base\.pdf}
@end ifclear
@ifset web_version
- @item \big\
+ \webLink\
@end ifset
+@end macro
+
+
+@macro docLinksBare{name,base,refLink,split,big,bigsize,pdf,pdfsize}
+
+@divClass{keep-bullets}
+@itemize
+
+@item @docLinkSplit{\name\,\base\,\split\} @minus{}
+ the manual is split between many HTML pages.
+ @*@ @ @emph{(small download for each page)}
+
+@item @docLinkBig{\name\,\base\,\split\} @minus{}
read this manual as one huge HTML page.
@*@ @ @emph{(large single download, \bigsize\)}
-@ifclear web_version
- @item @uref{../\base\.pdf, \base\.pdf}:
-@end ifclear
-@ifset web_version
- @item \pdf\
-@end ifset
+@item @docLinkPdf{\name\,\base\,\pdf\} @minus{}
download as a PDF file.
@*@ @ @emph{(large single download, \pdfsize\)}