| commit | bfe6ffb652954956ca984d594deb88d45f8cfd77 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Thu, 13 Dec 2012 04:47:14 +0000 (12 20:47 -0800) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Thu, 13 Dec 2012 04:47:14 +0000 (12 20:47 -0800) | ||
| tree | 7b45e49cdc59aaad12b18a967021e6c10f51e8f4 | treesnapshot (tar.gz zip) |
| parent | 9e7abd17a34f432aa6f3e59896d794b1349c846a | commitdiff |
Add wisent manual to build process
* doc/misc/wisent.texi: Small edits. Set copyright to FSF, update license to
GFDL 1.3+.
* doc/misc/Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): Add wisent.
(wisent, $(buildinfodir)/wisent$(INFO_EXT), wisent.dvi, wisent.pdf):
New targets.
* doc/misc/makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add wisent.
($(infodir)/wisent$(INFO_EXT), wisent.dvi): New targets.
* info/dir: wisent.
* doc/misc/wisent.texi: Small edits. Set copyright to FSF, update license to
GFDL 1.3+.
* doc/misc/Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): Add wisent.
(wisent, $(buildinfodir)/wisent$(INFO_EXT), wisent.dvi, wisent.pdf):
New targets.
* doc/misc/makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add wisent.
($(infodir)/wisent$(INFO_EXT), wisent.dvi): New targets.
* info/dir: wisent.