diff options
Diffstat (limited to 'stepmake')
| -rw-r--r-- | stepmake/stepmake/topdocs-targets.make | 2 | ||||
| -rw-r--r-- | stepmake/stepmake/toplevel-targets.make | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/stepmake/stepmake/topdocs-targets.make b/stepmake/stepmake/topdocs-targets.make index ef2115d79f..0300803f84 100644 --- a/stepmake/stepmake/topdocs-targets.make +++ b/stepmake/stepmake/topdocs-targets.make @@ -2,3 +2,5 @@ default: local-doc local-WWW: $(HTML_FILES) $(PDF_FILES) $(TO_TOP_FILES) + +make-txt-files: $(addprefix $(outdir)/,$(addsuffix .txt,$(TO_TOP_FILES))) diff --git a/stepmake/stepmake/toplevel-targets.make b/stepmake/stepmake/toplevel-targets.make index 9554110245..5d404ec682 100644 --- a/stepmake/stepmake/toplevel-targets.make +++ b/stepmake/stepmake/toplevel-targets.make @@ -29,7 +29,7 @@ $(package-icon): do-top-doc: - -$(MAKE) -C Documentation/topdocs/ README_TOP_FILES="$(README_TXT_FILES)" + -$(MAKE) -C Documentation/topdocs/ TO_TOP_FILES="$(TOPDOC_FILES)" make-txt-files $(README_TXT_FILES): do-top-doc |