diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-16 10:35:48 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-16 10:35:48 +0000 |
commit | c28b8eb6996ee1fa6cf0755dcb745b7382650011 (patch) | |
tree | 37345409442dd7d8182bfe12b5e62107d803c5c6 | |
parent | 6f044ab39ceec0a53ccc6995d0c0ec43603ba9b9 (diff) |
* svn:ignores.
* Add missing file to dist.
-rw-r--r-- | doc/manual/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 7e3af2d56..7df247a57 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -20,7 +20,7 @@ MANUAL_SRCS = manual.xml introduction.xml installation.xml \ $(man1_MANS:.1=.xml) \ troubleshooting.xml bugs.xml opt-common.xml opt-common-syn.xml \ env-common.xml quick-start.xml nix-lang-ref.xml glossary.xml \ - conf-file.xml \ + conf-file.xml release-notes.xml \ style.css images manual.is-valid: $(MANUAL_SRCS) version.txt |