From f716d4ef17db7835509d785a7964f8bc529d9269 Mon Sep 17 00:00:00 2001 From: thurston Date: Sun, 7 Sep 2008 22:14:53 +0000 Subject: [PATCH] A fix to the documentation makefile from John D. Mitchell. git-svn-id: svn://mambo.cs.queensu.ca/ragel/trunk@469 052ea7fc-9027-0410-9066-f65837a77df0 --- CREDITS | 2 +- README | 2 +- doc/Makefile.in | 8 ++++++-- 3 files changed, 8 insertions(+), 4 deletions(-) diff --git a/CREDITS b/CREDITS index 36cd106..108f639 100644 --- a/CREDITS +++ b/CREDITS @@ -37,4 +37,4 @@ missed. Judson Lester, Barry Arthur, Tim Potter, Ryan Phelps, David Waite, Kenny MacDermid, MenTaLguY, Manoj Rajagopalan, Tim Chklovski, Mikkel Fahnøe Jørgensen, Andrei Polushin, Evan Phoenix, David Balmain, - Ross Thomas, Mitchell Foral + Ross Thomas, Mitchell Foral, John D. Mitchell diff --git a/README b/README index 5f0c08f..7d10eb4 100644 --- a/README +++ b/README @@ -33,7 +33,7 @@ To build the ragel program type 'make'. To build all the documentation cd to 'doc' and type 'make'. If you don't have all of the programs to build the user guide and just want the man page use -'make ragel.1 rlgen-cd.1 rlgen-java.1 rlgen-ruby.1 rlgen-dot.1' +'make man'. 3. Installing diff --git a/doc/Makefile.in b/doc/Makefile.in index db4beaa..9d2ded2 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -62,14 +62,18 @@ clean: distclean: clean rm -f Makefile - -install: all + +man: $(MANPAGES) + +man-install: man install -d $(mandir)/man1 install -m 644 ragel.1 $(mandir)/man1/ragel.1 install -m 644 rlgen-dot.1 $(mandir)/man1/rlgen-dot.1 install -m 644 rlgen-cd.1 $(mandir)/man1/rlgen-cd.1 install -m 644 rlgen-java.1 $(mandir)/man1/rlgen-java.1 install -m 644 rlgen-ruby.1 $(mandir)/man1/rlgen-ruby.1 + +install: all man-install install -d $(docdir) install -m 644 ragel-guide.pdf $(docdir)/ragel-guide.pdf gzip -c ../ChangeLog > ChangeLog.gz -- 2.11.4.GIT