diff --git a/GNUmakefile b/GNUmakefile index f6d1efb7c9ad35e62056de1d88ef0952cd3b6ae2..8e27b7dbbe8323bdcdf658e2213131f3b6ecec11 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -72,5 +72,8 @@ manual-html-one-page: asdf.texinfo manual-info: asdf.texinfo makeinfo asdf.texinfo +manual-pdf: asdf.texinfo + texi2pdf asdf.texinfo + FORCE: