diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-08T15·01+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-08T15·01+0000 |
| commit | b5942155314ea4b479fabde6ce236866f5ef4b97 (patch) | |
| tree | 798889a5b7fb696dc6eafbdbdf732cd493e0e5fc /doc/manual/Makefile.am | |
| parent | 5346536b626a047d53f9c44d6562cfaeffe27f14 (diff) | |
* Manual updates.
Diffstat (limited to 'doc/manual/Makefile.am')
| -rw-r--r-- | doc/manual/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 8f4c84790613..a0fa19406a93 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -7,8 +7,8 @@ XSLTPROC = $(ENV) $(xsltproc) $(xmlflags) --catalogs \ --param html.stylesheet \'style.css\' SOURCES = manual.xml introduction.xml installation.xml overview.xml \ - common-options.xml nix-store.xml nix-instantiate.xml \ - troubleshooting.xml bugs.xml \ + nix-store.xml nix-instantiate.xml \ + troubleshooting.xml bugs.xml opt-verbose.xml \ style.css images manual.is-valid: $(SOURCES) version.xml |