diff options
Diffstat (limited to 'recipe.d/0006-texinfo')
| -rw-r--r-- | recipe.d/0006-texinfo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/recipe.d/0006-texinfo b/recipe.d/0006-texinfo index 677c80b..ac911bc 100644 --- a/recipe.d/0006-texinfo +++ b/recipe.d/0006-texinfo @@ -2,6 +2,10 @@ mcd $BUILDDIR/texinfo $SRC/texinfo-*/configure $TCONFIGARGS + # texi2dvi has been touched so the builder + # will try to rebuild the man page from texi2dvi but that + # spits out only a warning that no tex system is installed + touch doc/texi2dvi.1 make $J -k make $J -k install |