path: root/dist
diff options
authorTom Ryder <tom@sanctum.geek.nz>2017-10-29 00:31:06 +1300
committerTom Ryder <tom@sanctum.geek.nz>2017-10-29 00:35:31 +1300
commitfeba4601d96cdf4fb4bf2995641c7a6a6b6956bb (patch)
tree1a050c373d314ee9873775d740cbed8516a0019d /dist
parentRebuild dotfiles(7) manual from README.md (diff)
Restore dotfiles(7) manual as pre-built dist file
Commit 70fcb35 incorrectly built the dotfiles(7) manual without the header required by the Pandoc converter. Rebuilt it properly by making a script in a new directory "dist" which is to be run by the maintainer whenever its source file README.md is updated. This should probably be automated on my end with Git hooks. The reason we don't include the Pandoc recipe for making this manual as a target in the Makefile is to do with the heavy dependency of Pandoc, for which packages are not available on some desirable operating systems, as arranged in a8ab2cf. Also added the new install-man target as one of the default subtargets of `install`.
Diffstat (limited to 'dist')
1 files changed, 3 insertions, 0 deletions
diff --git a/dist/build-dotfiles-manual.sh b/dist/build-dotfiles-manual.sh
new file mode 100644
index 00000000..07db593f
--- /dev/null
+++ b/dist/build-dotfiles-manual.sh
@@ -0,0 +1,3 @@
+# Author tool for building the dotfiles(7) manual
+cat man/man7/dotfiles.7df.head README.md |
+pandoc -sS -t man -o man/man7/dotfiles.7df