diff options
| -rw-r--r-- | devel/noweb/files/patch-a | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/devel/noweb/files/patch-a b/devel/noweb/files/patch-a index f244de41aeb8..e717d137db4e 100644 --- a/devel/noweb/files/patch-a +++ b/devel/noweb/files/patch-a @@ -55,3 +55,20 @@ diff -cr Makefile.orig Makefile # change WEAVE if you want a different version of noweave to be installed WEAVE=noweave +*************** +*** 96,102 **** + rm -f $(CATDIR)/nountangle.$(MANEXT).gz + (cd $(CATDIR); ln notangle.$(MANEXT).gz nountangle.$(MANEXT).gz) + install-tex: +! -mkdir $(TEXINPUTS) 2>/dev/null + cp tex/nwmac.tex tex/noweb.sty $(TEXINPUTS) + + checkin: +--- 96,102 ---- + rm -f $(CATDIR)/nountangle.$(MANEXT).gz + (cd $(CATDIR); ln notangle.$(MANEXT).gz nountangle.$(MANEXT).gz) + install-tex: +! -mkdir -p $(TEXINPUTS) 2>/dev/null + cp tex/nwmac.tex tex/noweb.sty $(TEXINPUTS) + + checkin: |