diff options
| author | Fritz Elfert <felfert@to.com> | 2001-03-25 04:37:53 +0000 |
|---|---|---|
| committer | Fritz Elfert <felfert@to.com> | 2001-03-25 04:37:53 +0000 |
| commit | 64d765ac07c95124f25c5e33c076ecf0b5afcf05 (patch) | |
| tree | 9cf3dbee2ab1d12b9cc603fa7349730c1696feec /conf | |
| parent | 6104b2bc9b58a43e42e1606f8602d2c104c2841a (diff) | |
| download | plptools-64d765ac07c95124f25c5e33c076ecf0b5afcf05.tar.gz plptools-64d765ac07c95124f25c5e33c076ecf0b5afcf05.tar.bz2 plptools-64d765ac07c95124f25c5e33c076ecf0b5afcf05.zip | |
auto-generate version and date in kpsion doc
Diffstat (limited to 'conf')
| -rw-r--r-- | conf/am_edit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/conf/am_edit b/conf/am_edit index d597c9e..d27d454 100644 --- a/conf/am_edit +++ b/conf/am_edit @@ -1395,6 +1395,10 @@ sub tag_DOCFILES () } goto nodocs if (!$files); # Nothing to do + if ($files =~ /(^| )index\.docbook\.in($| )/) { + $files =~ s/\.in//; + } + if ($files =~ /(^| )index\.docbook($| )/) { my $lines = ""; |