diff options
| author | Simon Tatham <anakin@pobox.com> | 2004-04-09 18:16:43 +0000 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2004-04-09 18:16:43 +0000 |
| commit | dceee0294f3814dd97c3c273200011977a8ecca6 (patch) | |
| tree | cab42931644ddfa8fe63675c5c2dc26fb06cc98d /doc | |
| parent | 0e64c9d347e230cb338514b7f5d9c29bf6940128 (diff) | |
| download | halibut-dceee0294f3814dd97c3c273200011977a8ecca6.zip halibut-dceee0294f3814dd97c3c273200011977a8ecca6.tar.gz halibut-dceee0294f3814dd97c3c273200011977a8ecca6.tar.bz2 halibut-dceee0294f3814dd97c3c273200011977a8ecca6.tar.xz | |
Added an info(1) backend, which constructs .info files directly
without going through the .texi source stage. A few things left to
do, notably documentation, but the basics all seem to be there.
[originally from svn r4047]
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.cvsignore | 1 | ||||
| -rw-r--r-- | doc/Makefile | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index c59962b..72e10da 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -3,3 +3,4 @@ *.gid *.GID *.log *.1 +*.info *.info-* diff --git a/doc/Makefile b/doc/Makefile index 624bf54..762b1d1 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -7,10 +7,10 @@ HALIBUT = ../build/halibut all: Contents.html halibut.1 Contents.html: $(INPUTS) $(HALIBUT) - $(HALIBUT) --text=halibut.txt --html $(INPUTS) + $(HALIBUT) --text=halibut.txt --html --info=halibut.info $(INPUTS) halibut.1: manpage.but $(HALIBUT) --man=halibut.1 manpage.but clean: - rm -f *.html *.txt *.hlp *.cnt *.1 + rm -f *.html *.txt *.hlp *.cnt *.1 *.info* |