diff options
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)/. |