Add .info extension to @setfilename commands in doc 29993416fb4d19c1c3bb146367fc4bed74845486 Glenn Morris Mon Jun 9 22:20:31 2014 -0400
@@ -1,6 +1,6 @@
\input texinfo @c -*- coding: utf-8 -*-
@c %**start of header
-@setfilename ../../info/org
+@setfilename ../../info/org.info
@settitle The Org Manual
@include org-version.inc