- # Doc files don't change; include them in distribution.
- for f in $(DISTDOCDIRS) ; do \
- if [ -r $$f/Makefile ]; then \
- (cd $$f ; $(MAKE) info) || exit 1 ; \
- else true ; fi ; \
- done
- # Make links, and run "make diststuff" when needed.
- # The `echo' for setting `p' is to convert all whitespace to spaces.
- # Then the `case' further below should tell whether $$d is in
- # DISTSTUFFDIRS.