diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-11-05 22:37:42 +0100 |
|---|---|---|
| committer | Artyom V. Poptsov <poptsov.artyom@gmail.com> | 2016-11-06 07:15:54 +0300 |
| commit | 9869f87c773f09a918534054f4953bafa5562ca4 (patch) | |
| tree | e872d1d53356ee8b4f2b48f2d26ef4126bad2213 | |
| parent | AUTHORS: Update (diff) | |
| download | guile-ssh-9869f87c773f09a918534054f4953bafa5562ca4.tar.gz | |
build: Remove 'version.texi', which is generated.
* doc/version.texi: Remove.
Signed-off-by: Artyom V. Poptsov <poptsov.artyom@gmail.com>
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | doc/version.texi | 9 |
2 files changed, 1 insertions, 9 deletions
@@ -30,3 +30,4 @@ tags GPATH GRTAGS GTAGS +/doc/version.texi diff --git a/doc/version.texi b/doc/version.texi deleted file mode 100644 index e2494e1..0000000 --- a/doc/version.texi +++ /dev/null @@ -1,9 +0,0 @@ -@set UPDATED 9 October 2016 -@set UPDATED-MONTH October 2016 -<<<<<<< Updated upstream -@set EDITION 0.10.1 -@set VERSION 0.10.1 -======= -@set EDITION 0.10.0 -@set VERSION 0.10.0 ->>>>>>> Stashed changes |