pike.git/ src/ Makefile.in

2004-09-30

2004-09-30 03:50:27 by Martin Bähr <mbaehr@email.archlab.tuwien.ac.at>

• 0533500f33799518b76e48c5a4c027ff76ac2770 (5 lines) (+4/-1) ^{[ Show | Annotate ]}
  Branch: 7.6

fix inconsistency with description

Rev: src/Makefile.in:1.382

1:   # - # $Id: Makefile.in,v 1.381 2004/04/23 17:18:34 grubba Exp $ + # $Id: Makefile.in,v 1.382 2004/09/30 03:50:27 mbaehr Exp $   #      # This line is needed on some machines.
213:    echo; \    fi    + doc: documentation +    documentation: onepage.xml traditional.xml modref.xml    cd $(DOCDIR) && $(MAKE) $(MAKE_FLAGS) PIKE="$(RUNPIKE)" \    BUILDDIR="$(TMP_BUILDDIR)" $(DOCTARGET)