diff --git a/man/labgrid-client.1 b/man/labgrid-client.1 index c7f7b998b2..d8696d2545 100644 --- a/man/labgrid-client.1 +++ b/man/labgrid-client.1 @@ -280,7 +280,7 @@ $ labgrid\-client \-p console .UNINDENT .UNINDENT .sp -Add all resources with the group "example\-group" to the place example\-place: +Add all resources with the group \(dqexample\-group\(dq to the place example\-place: .INDENT 0.0 .INDENT 3.5 .sp diff --git a/man/labgrid-device-config.5 b/man/labgrid-device-config.5 index 10e2e70b9c..444bea847d 100644 --- a/man/labgrid-device-config.5 +++ b/man/labgrid-device-config.5 @@ -82,8 +82,8 @@ Two configured images, one for the root filesystem, one for the bootloader: .nf .ft C images: - root: "platform\-v7a/images/root.img" - boot: "platform\-v7a/images/barebox.img" + root: \(dqplatform\-v7a/images/root.img\(dq + boot: \(dqplatform\-v7a/images/barebox.img\(dq .ft P .fi .UNINDENT @@ -174,7 +174,7 @@ Configure the tool path for \fBimx\-usb\-loader\fP: .nf .ft C tools: - imx\-usb\-loader: "/opt/labgrid\-helper/imx\-usb\-loader" + imx\-usb\-loader: \(dq/opt/labgrid\-helper/imx\-usb\-loader\(dq .ft P .fi .UNINDENT @@ -213,7 +213,7 @@ targets: main: resources: RawSerialPort: - port: "/dev/ttyUSB0" + port: \(dq/dev/ttyUSB0\(dq drivers: SerialDriver: {} ShellDriver: @@ -247,7 +247,7 @@ targets: IMXUSBDriver: {} MyStrategy: {} tools: - imx\-usb\-loader: "/opt/lg\-tools/imx\-usb\-loader" + imx\-usb\-loader: \(dq/opt/lg\-tools/imx\-usb\-loader\(dq imports: \- mystrategy.py .ft P diff --git a/man/labgrid-exporter.1 b/man/labgrid-exporter.1 index 28786b4382..20fe4b5229 100644 --- a/man/labgrid-exporter.1 +++ b/man/labgrid-exporter.1 @@ -79,7 +79,7 @@ It defaults to the system hostname. .SS \-\-hostname .sp For resources like USBSerialPort, USBGenericExport or USBSigrokExport, the -exporter needs to provide a host name to set the exported value of the "host" +exporter needs to provide a host name to set the exported value of the \(dqhost\(dq key. If the system hostname is not resolvable via DNS, this option can be used to override this default with another name (or an IP address).