diff options
| author | Al Stone <ahs3@redhat.com> | 2012-10-31 15:27:38 +0100 |
|---|---|---|
| committer | Al Stone <ahs3@redhat.com> | 2012-10-31 15:27:38 +0100 |
| commit | 836e10f940d5625d2e83eb41accf17f99043c0a6 (patch) | |
| tree | a0c57dbca4f45fca003241f2dd802ea0eb668636 /recipe.d | |
| parent | 82db456cb1fab98ce03401f450a2eed7f5b54b1f (diff) | |
| download | bootstrap.git.DONOTUSE-836e10f940d5625d2e83eb41accf17f99043c0a6.tar.gz bootstrap.git.DONOTUSE-836e10f940d5625d2e83eb41accf17f99043c0a6.tar.xz bootstrap.git.DONOTUSE-836e10f940d5625d2e83eb41accf17f99043c0a6.zip | |
minor tweak to texinfo for stage2
Diffstat (limited to 'recipe.d')
| -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 |