diff options
Diffstat (limited to '')
-rw-r--r-- | doc/ref/calp.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ref/calp.texi b/doc/ref/calp.texi index 4dac681b..e8464edf 100644 --- a/doc/ref/calp.texi +++ b/doc/ref/calp.texi @@ -1,4 +1,5 @@ \input texinfo +@setfilename calp.info @settitle Calp @copying |