Render U+002D HYPHEN-MINUS in manual page where needed

In groff, plain '-' is a hyphen, interpreted according to context but not necessarily the plain ASCII U+002D HYPHEN-MINUS. So it's common to use \- instead... but that's defined as a minus sign, and in HTML it's emitted as U+2212 MINUS SIGN — still not what we want. cf. https://bugzilla.redhat.com/show_bug.cgi?id=1173619 and https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=159872#54 Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>
sailfishos-mirror · Jan 26, 2015 · 5f15c83 · 5f15c83
1 parent cfe8cc4
commit 5f15c83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/www/Makefile.am b/www/Makefile.am
@@ -31,7 +31,7 @@ $(top_builddir)/openconnect.8: $(top_srcdir)/openconnect.8.in $(top_builddir)/co
 # If this command line ever changes significantly, so should the
 # corresponding autoconf check.
 openconnect.8.inc: $(top_builddir)/openconnect.8
-	$(GROFF) -t -K UTF-8 -mandoc -Txhtml $? > $@.html.tmp
+	$(GROFF) -t -K UTF-8 -mandoc -Txhtml $? | sed 's/&minus;/-/g' > $@.html.tmp
 	sed -e '1,/<body>/d' -e '/<\/body>/,$$d' $@.html.tmp > $@.tmp
 	rm -f $@.html.tmp
 	mv $@.tmp $@