diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index ac63498..d61c637 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -15,4 +15,4 @@ install-data-hook: $(INSTALL_DATA) $$file $(DESTDIR)$(mandir)/man3/$$inst; \ done - cp /usr/share/texmf/tex/texinfo/texinfo.tex . + if test -f /usr/share/texmf/tex/texinfo/texinfo.tex; then cp /usr/share/texmf/tex/texinfo/texinfo.tex .; fi |