diff options
Diffstat (limited to 'doc/documentation/Makefile.am')
-rw-r--r-- | doc/documentation/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/documentation/Makefile.am b/doc/documentation/Makefile.am index 0ee81304e..b6c666c4d 100644 --- a/doc/documentation/Makefile.am +++ b/doc/documentation/Makefile.am | |||
@@ -144,6 +144,7 @@ DISTCLEANFILES = \ | |||
144 | chapters/terminology.cps \ | 144 | chapters/terminology.cps \ |
145 | chapters/vocabulary.cps \ | 145 | chapters/vocabulary.cps \ |
146 | fdl-1.3.cps \ | 146 | fdl-1.3.cps \ |
147 | agpl-3.0.cps \ | ||
147 | gpl-3.0.cps | 148 | gpl-3.0.cps |
148 | 149 | ||
149 | # if HAVE_EXTENDED_DOCUMENTATION_BUILDING | 150 | # if HAVE_EXTENDED_DOCUMENTATION_BUILDING |
@@ -166,8 +167,8 @@ lego_stack.png: images/lego_stack.svg | |||
166 | # echo "@set EDITION $(PACKAGE_VERSION)" >> $@ | 167 | # echo "@set EDITION $(PACKAGE_VERSION)" >> $@ |
167 | # echo "@set VERSION $(PACKAGE_VERSION)" >> $@ | 168 | # echo "@set VERSION $(PACKAGE_VERSION)" >> $@ |
168 | 169 | ||
169 | # Workaround for makeinfo error. Whcih in turn introduces more | 170 | # Workaround for makeinfo error. Which in turn introduces more |
170 | # date-related 'warnings'. Well. | 171 | # date-related 'warnings' for GNUism. Well. |
171 | version2.texi: | 172 | version2.texi: |
172 | echo "@set UPDATED $(date +'%d %B %Y')" > $@ | 173 | echo "@set UPDATED $(date +'%d %B %Y')" > $@ |
173 | echo "@set UPDATED-MONTH $(date +'%B %Y')" >> $@ | 174 | echo "@set UPDATED-MONTH $(date +'%B %Y')" >> $@ |