On Sun, Aug 31, 2014 at 07:42:50PM -0700, Timothy Gu wrote:
> makeinfo chokes on that.
>
> Signed-off-by: Timothy Gu
> ---
> doc/general.texi | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
applied
thanks
[...]
--
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FA
makeinfo chokes on that.
Signed-off-by: Timothy Gu
---
doc/general.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/general.texi b/doc/general.texi
index 9ce0b31..8d7555d 100644
--- a/doc/general.texi
+++ b/doc/general.texi
@@ -130,7 +130,7 @@ Go to @url{http://x265.o