Loading GNUmakefile +3 −0 Original line number Diff line number Diff line Loading @@ -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: Loading
GNUmakefile +3 −0 Original line number Diff line number Diff line Loading @@ -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: