projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fb8487) | patch
manual generation: rename manual-txt into manual-text
authorThomas De Schampheleire <patrickdepinguin@gmail.com>
Fri, 18 Oct 2013 20:31:26 +0000 (22:31 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Fri, 1 Nov 2013 15:57:34 +0000 (16:57 +0100)
commit462e9915fd8115419654e43473591a0af625229c
tree302ed2b902d6d2eba13c1d0314d80acb278d3fbetree
parent6fb84874b2545d25fdb85b4b2a0a5c8fac1c6305commit | diff
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>
Makefile diff | blob | history
docs/manual/manual.mk diff | blob | history