pike.git/ src/ Makefile.in

2002-11-27

2002-11-27 11:58:28 by Marcus Comstedt <marcus@mc.pp.se>

• 34652028c8cc5373d4da56dee73b38c97f5c458b (5 lines) (+3/-2) ^{[ Show | Annotate ]}
  Branch: 7.9

Removed the 'documentation' dependency on 'dumped_modules'.

Rev: src/Makefile.in:1.338

1:   # - # $Id: Makefile.in,v 1.337 2002/11/23 16:43:43 mast Exp $ + # $Id: Makefile.in,v 1.338 2002/11/27 11:58:28 marcus Exp $   #      # This line is needed on some machines.
213:    echo; \    fi    - documentation: pike dump_modules + documentation: pike    cd $(SRCDIR)/../refdoc && $(MAKE) $(MAKE_FLAGS) PIKE="$(RUNPIKE)" $(DOCTARGET)      # Backward compat.