diff --git a/doc/heimdal.texi b/doc/heimdal.texi index 0609c4ff3..838271b3d 100644 --- a/doc/heimdal.texi +++ b/doc/heimdal.texi @@ -152,6 +152,10 @@ to the following restrictions: @copyrightend @end titlepage +@macro manpage{man, section} +@cite{\man\(\section\)} +@end macro + @c Less filling! Tastes great! @iftex @parindent=0pt