Any possibility of me ever finding this elusive script/command? I'd love to track it down and actually use it so that everything builds correctly.
I've tried googling "docbook2x-texi source" with unimpressive results. On Wednesday, October 17, 2012 10:41:38 AM UTC-4, Konstantin Khomoutov wrote: > > On Wed, 17 Oct 2012 07:19:22 -0700 (PDT) > "Yves S. Garret" <yoursurr...@gmail.com <javascript:>> wrote: > > > I've run the following commands (which I found in INSTALL) and the > > error that I got is shown below the commands: > > > > Commands: > > $ make prefix=/usr all doc info ; > > $ make prefix=/usr install install-doc install-html install-info ; > > > > Error: > [...] > > DB2TEXI user-manual.texi > > /bin/sh: line 1: docbook2x-texi: command not found > > make[1]: *** [user-manual.texi] Error 127 > > make[1]: Leaving directory > > `/home/ashvets/git-learning/git/Documentation' make: *** > > [install-info] Error 2 > > > > I'm doing this in Cygwin. What's the docbook2x-texi command and how > > can I get it? > [...] > > Now I'm just confused... > > Judging from the .texi extension and the name of the failing program, I > suppose it's intended to generate the GNU Texinfo documentation from > asciidoc sources, Git uses for documentation. > Most probably you do not need this, so I'd pick one of two routes: > 1) Study the Git makefile(s) and just disable building the target for > preparing Texinfo manuals, if such a target exists. > 2) Create a symlink /usr/local/bin/docbook2x-texi pointing to /bin/true > or create a script /usr/local/bin/docbook2x-texi which would do > noting and just exit successfully, and try running > `make install-doc`. > -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To view this discussion on the web visit https://groups.google.com/d/msg/git-users/-/nYHFymc0R2cJ. To post to this group, send email to git-users@googlegroups.com. To unsubscribe from this group, send email to git-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/git-users?hl=en.