This is a preparatory change of planned reduction of conversions
from .eps to .pdf.
The goal is to exclude unused plots under CodeSamples/ from conversions
by a2ping.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/RCU-test-ratio.eps | 1 +
formal/formal.tex | 4 ++--
2 files changed, 3 insertions(+), 2 deletions(-)
create mode 120000 formal/RCU-test-ratio.eps
diff --git a/formal/RCU-test-ratio.eps b/formal/RCU-test-ratio.eps
new file mode 120000
index 00000000..ebba3220
--- /dev/null
+++ b/formal/RCU-test-ratio.eps
@@ -0,0 +1 @@
+../CodeSamples/formal/data/RCU-test-ratio.eps
\ No newline at end of file
diff --git a/formal/formal.tex b/formal/formal.tex
index 55a5ed98..ba52da88 100644
--- a/formal/formal.tex
+++ b/formal/formal.tex
@@ -318,9 +318,9 @@ can help reduce the cost of finding and fixing any bugs located.
\begin{figure}
\centering
\IfEbookSize{
-\resizebox{\onecolumntextwidth}{!}{\includegraphics{CodeSamples/formal/data/RCU-test-ratio.pdf}}
+\resizebox{\onecolumntextwidth}{!}{\includegraphics{formal/RCU-test-ratio.pdf}}
}{
-\resizebox{4.5in}{!}{\includegraphics{CodeSamples/formal/data/RCU-test-ratio.pdf}}
+\resizebox{4.5in}{!}{\includegraphics{formal/RCU-test-ratio.pdf}}
}
\caption{Linux-Kernel RCU Test Code}
\label{fig:formal:Linux-Kernel RCU Test Code}
--
2.17.1
