diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 038bc25..1df29ae 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -41,7 +41,7 @@ doc: $(placeholders) $(MAKE) -C Documentation html rm -rf doc olddoc prepare - rdoc --debug -f oldweb + rdoc --debug -f dark216 olddoc merge ln NEWS.atom.xml doc/ |