- --- a/Makefile.in
- +++ b/Makefile.in
- @@ -798,10 +798,8 @@ loadables:
- # $(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:
-
|