diff options
Diffstat (limited to 'php')
-rw-r--r-- | php/doc/tutorial.texi | 2 | ||||
-rw-r--r-- | php/doc/version.texi | 4 |
2 files changed, 1 insertions, 5 deletions
diff --git a/php/doc/tutorial.texi b/php/doc/tutorial.texi index 27ef83a..686b6d3 100644 --- a/php/doc/tutorial.texi +++ b/php/doc/tutorial.texi @@ -1,7 +1,7 @@ \input texinfo @c -*-texinfo-*- @c %**start of header @setfilename tutorial.info -@include version.texi +@include ../../common/version.texi @include ../../common/texi/syntax.texi @settitle The GNU Taler tutorial for PHP Web shop developers @value{VERSION} diff --git a/php/doc/version.texi b/php/doc/version.texi deleted file mode 100644 index 530e1dc..0000000 --- a/php/doc/version.texi +++ /dev/null @@ -1,4 +0,0 @@ -@set UPDATED 11 November 2016 -@set UPDATED-MONTH November 2016 -@set EDITION 0.2.0 -@set VERSION 0.2.0 |