diff options
author | Thomas De Schampheleire <patrickdepinguin@gmail.com> | 2013-10-18 22:31:26 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2013-11-01 16:57:34 +0100 |
commit | 462e9915fd8115419654e43473591a0af625229c (patch) | |
tree | 302ed2b902d6d2eba13c1d0314d80acb278d3fbe /Makefile | |
parent | 6fb84874b2545d25fdb85b4b2a0a5c8fac1c6305 (diff) | |
download | buildroot-462e9915fd8115419654e43473591a0af625229c.tar.gz buildroot-462e9915fd8115419654e43473591a0af625229c.zip |
manual generation: rename manual-txt into manual-text
The output extension and the generation messages refer to 'text', but the make
target was confusingly 'txt'. This patch changes the make target for
consistency.
Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Samuel Martin <s.martin49@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -797,7 +797,7 @@ endif @echo ' manual-html - build manual in HTML' @echo ' manual-split-html - build manual in split HTML' @echo ' manual-pdf - build manual in PDF' - @echo ' manual-txt - build manual in txt' + @echo ' manual-text - build manual in text' @echo ' manual-epub - build manual in ePub' @echo @echo 'Miscellaneous:' @@ -821,7 +821,7 @@ release: OUT=buildroot-$(BR2_VERSION) # documentation to the git output release: git archive --format=tar --prefix=$(OUT)/ HEAD > $(OUT).tar - $(MAKE) O=$(OUT) manual-html manual-txt manual-pdf + $(MAKE) O=$(OUT) manual-html manual-text manual-pdf tar rf $(OUT).tar $(OUT) gzip -9 -c < $(OUT).tar > $(OUT).tar.gz bzip2 -9 -c < $(OUT).tar > $(OUT).tar.bz2 |