[man pages] fix some formatting issues with the new man pages.

2017-09-20 13:53:59 +01:00
parent dd8848f088
commit 5814fea96a
17 changed files with 64 additions and 69 deletions
--- a/Makefile.in
+++ b/Makefile.in
@@ -255,13 +255,7 @@ TOOLS:=\
 	era_check \
 	era_dump \
 	era_invalidate \
-	era_restore \
-ifeq ("@DEVTOOLS", "yes")
-	thin_show_duplicates \
-	thin_ll_dump \
-	thin_generate_metadata \
-	thin_scan
-endif
+	era_restore

 MANPAGES:=$(patsubst %,man8/%.8,$(TOOLS))