From a65e5137f9e9e7ba89349193c68bb8f4c29d1e80 Mon Sep 17 00:00:00 2001
From: Dan Langille <dan@langille.org>
Date: Mon, 12 Aug 2019 18:46:45 -0400
Subject: [PATCH] $HOME/.config/mosquitto_sub or pub?

Should $HOME/.config/mosquitto_sub be $HOME/.config/mosquitto_pub? It seems to be that way based on my testing.

I think this is a copy/paste error.
---
 man/mosquitto_pub.1.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/man/mosquitto_pub.1.xml b/man/mosquitto_pub.1.xml
index 2c1a425c..b51a79bc 100644
--- a/man/mosquitto_pub.1.xml
+++ b/man/mosquitto_pub.1.xml
@@ -116,7 +116,7 @@
 		<para>The options below may be given on the command line, but may also
 			be placed in a config file located at
 			<option>$XDG_CONFIG_HOME/mosquitto_pub</option> or
-			<option>$HOME/.config/mosquitto_sub</option> with one pair of
+			<option>$HOME/.config/mosquitto_pub</option> with one pair of
 			<option>-option <replaceable>value</replaceable></option>
 			per line. The values in the config file will be used as defaults
 			and can be overridden by using the command line. The exceptions to