| 12345678910111213 |
- --- a/Makefile.in
- +++ b/Makefile.in
- @@ -741,10 +741,8 @@ reconfig: force
- # $(MAKE) -f $(srcdir)/Makefile $(MFLAGS) srcdir=$(srcdir)
-
- doc documentation: force
- - @(cd $(DOCDIR) ; $(MAKE) $(MFLAGS) )
-
- info dvi ps: force
- - @(cd $(DOCDIR) ; $(MAKE) $(MFLAGS) CFLAGS='$(CCFLAGS)' $@ )
-
- force:
-
|
