diff options
| author | root <root@rshg054.dnsready.net> | 2013-08-06 01:53:55 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-08-06 01:53:55 -0700 |
| commit | a2fb8ff517d83749ec3b5543aeba805f07ea257d (patch) | |
| tree | 87eac8f03f062c2c5ab3ff3dd92e04c07fb4e896 /community/ucblogo/ucblogo-6.0-no-texinfo.patch | |
| parent | b3923b26c3d37257246fea13bdb1151c96cb2fe4 (diff) | |
Tue Aug 6 01:53:08 PDT 2013
Diffstat (limited to 'community/ucblogo/ucblogo-6.0-no-texinfo.patch')
| -rw-r--r-- | community/ucblogo/ucblogo-6.0-no-texinfo.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/community/ucblogo/ucblogo-6.0-no-texinfo.patch b/community/ucblogo/ucblogo-6.0-no-texinfo.patch new file mode 100644 index 000000000..eaf983603 --- /dev/null +++ b/community/ucblogo/ucblogo-6.0-no-texinfo.patch @@ -0,0 +1,12 @@ +diff -ENwbur ucblogo-6.0-no-wxWidgets/docs/makefile ucblogo-6.0-no-texinfo/docs/makefile +--- src/ucblogo-6.0/docs/makefile 2013-03-19 07:18:52.000000000 +0530 ++++ src/ucblogo-6.0-b/docs/makefile 2013-03-21 06:21:03.000000000 +0530 +@@ -30,7 +30,7 @@ + ship: + -rm -f *.{aux,cp,cps,dvi,fn,ky,log,pg,toc,tp,vr} + +-install: all ++install: + for d in $(INFODIR) $(DOCSDIR) $(HTMLDIR); do [ -d $$d ] || mkdir -p $$d || exit 1; done + -cp -f *.info* $(INFODIR)/. + -cp -f html/*.html $(HTMLDIR)/. |