diff options
| author | Glenn Morris | 2012-12-12 09:19:20 -0800 |
|---|---|---|
| committer | Glenn Morris | 2012-12-12 09:19:20 -0800 |
| commit | 4c2dd4eeffd612508159b8c5f3d51e2e1bf4bf11 (patch) | |
| tree | 3bf82ebe319fa2358779cb4e40f2785293f5108e /doc/misc/ChangeLog | |
| parent | ac1d9ddee6098e829f87523a6328e81e98dfba70 (diff) | |
| download | emacs-4c2dd4eeffd612508159b8c5f3d51e2e1bf4bf11.tar.gz emacs-4c2dd4eeffd612508159b8c5f3d51e2e1bf4bf11.zip | |
Add srecode manual to build process
* doc/misc/srecode.texi: Small edits. Set copyright to FSF, add explicit
GFDL 1.3+ license, fix up index.
* doc/misc/Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): Add srecode.
(srecode, $(buildinfodir)/srecode$(INFO_EXT), srecode.dvi)
(srecode.pdf): New targets.
* doc/misc/makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add srecode.
($(infodir)/srecode$(INFO_EXT), srecode.dvi): New targets.
* info/dir: Add srecode.
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 8bc178e005b..7bbb0384641 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,13 @@ | |||
| 1 | 2012-12-12 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * srecode.texi: Small edits. Set copyright to FSF, add explicit | ||
| 4 | GFDL 1.3+ license, fix up index. | ||
| 5 | * Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): Add srecode. | ||
| 6 | (srecode, $(buildinfodir)/srecode$(INFO_EXT), srecode.dvi) | ||
| 7 | (srecode.pdf): New targets. | ||
| 8 | * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add srecode. | ||
| 9 | ($(infodir)/srecode$(INFO_EXT), srecode.dvi): New targets. | ||
| 10 | |||
| 1 | 2012-12-12 Eric Ludlam <zappo@gnu.org> | 11 | 2012-12-12 Eric Ludlam <zappo@gnu.org> |
| 2 | 12 | ||
| 3 | * srecode.texi: New file, imported from CEDET trunk. | 13 | * srecode.texi: New file, imported from CEDET trunk. |