diff options
Diffstat (limited to 'config/Docs.mk.in')
| -rw-r--r-- | config/Docs.mk.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/config/Docs.mk.in b/config/Docs.mk.in new file mode 100644 index 0000000000..024ef20c33 --- /dev/null +++ b/config/Docs.mk.in @@ -0,0 +1,13 @@ +# Prefix and install folder +prefix := @prefix@ +PREFIX := $(prefix) +exec_prefix := @exec_prefix@ +libdir := @libdir@ +LIBDIR := $(libdir) + +# Tools +FIG2DEV := @FIG2DEV@ +POD2MAN := @POD2MAN@ +POD2HTML := @POD2HTML@ +POD2TEXT := @POD2TEXT@ +MARKDOWN := @MARKDOWN@ |