From a556074d6584013c739721685b1be99ef13d3f70 Mon Sep 17 00:00:00 2001
From: Nikodemus Siivola <nikodemus@random-state.net>
Date: Wed, 18 Aug 2004 12:36:03 +0000
Subject: [PATCH] Minor fix to the texinfo documentation, so that makeinfo
 won't overwrite the original .texinfo.

---
 asdf.texinfo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/asdf.texinfo b/asdf.texinfo
index a5a246d7..4068668d 100644
--- a/asdf.texinfo
+++ b/asdf.texinfo
@@ -1,6 +1,6 @@
 \input texinfo          @c -*- texinfo -*-
 @c %**start of header
-@setfilename asdf.texinfo
+@setfilename asdf.info
 @settitle asdf Manual
 @c %**end of header
 
-- 
GitLab