]> git.donarmstrong.com Git - lilypond.git/blobdiff - GNUmakefile.in
Restore some directories for the documentation build
[lilypond.git] / GNUmakefile.in
index 6f0e4f4a7b7cbcd7eb37404bbd0504b544d260ac..ceeb410a618e67277c398da9827b4d051d0aa6a0 100644 (file)
@@ -9,7 +9,7 @@ SUBDIRS = python scripts \
        po \
        elisp vim \
        input \
-       stepmake $(documentation-dir)
+       $(documentation-dir)
 
 
 ## this convoluted construction is necessary, since we don't know the
@@ -17,7 +17,7 @@ SUBDIRS = python scripts \
 documentation-dir=$(if $(findstring no,$(DOCUMENTATION)),,Documentation)
 
 SCRIPTS = configure autogen.sh smart-autogen.sh smart-configure.sh
-README_FILES = COPYING COPYING.FDL DEDICATION ROADMAP THANKS HACKING \
+README_FILES = COPYING COPYING.FDL DEDICATION ROADMAP HACKING \
   LICENSE LICENSE.DOCUMENTATION
 TOPDOC_FILES = AUTHORS INSTALL README NEWS
 TOPDOC_TXT_FILES = $(addprefix $(top-build-dir)/Documentation/topdocs/$(outdir)/,$(addsuffix .txt,$(TOPDOC_FILES)))
@@ -40,7 +40,8 @@ include $(depth)/make/stepmake.make
 
 dist: local-dist $(GENERATED_BUILD_FILES) top-doc refresh-release-files .gitfilelist
        @cd $(top-src-dir) && \
-         if [[ `find . -name .git` && (`git diff HEAD` || `git status | grep -i "untracked"`) ]]; \
+         if test -n "`find . -name .git`" -a '(' -n "`git diff HEAD | head -1`" \
+           -o -n "`git status | grep -i untracked`" ')'; \
          then echo "***   dist must been rolled on a clean git tree;"; \
          echo "uncommitted changes or untracked files detected, aborting."; \
          exit 1; fi
@@ -51,7 +52,7 @@ dist: local-dist $(GENERATED_BUILD_FILES) top-doc refresh-release-files .gitfile
        $(LN) $(TOPDOC_TXT_FILES) $(distdir)
        $(LN) $(GENERATED_BUILD_FILES:%=$(src-dir)/%) .gitfilelist $(distdir)
        cd $(top-src-dir) && xargs $(buildscript-dir)/mass-link hard . $(distdir) <$(top-build-dir)/.gitfilelist
-       if [[ `find $(top-src-dir) -name .git` ]]; then \
+       if test -n "`find $(top-src-dir) -name .git`"; then \
          COMMIT_DATE=`git --git-dir=$(top-src-dir)/.git log -1 --format=%cD`; \
          find $(distdir) | xargs touch -d "$$COMMIT_DATE"; fi
        (cd ./$(depth)/$(outdir); $(TAR) -cf -  --owner=0 --group=0 $(DIST_NAME) | gzip -9 > $(DIST_NAME).tar.gz)