diff options
Diffstat (limited to 'Makefile.comm')
-rw-r--r-- | Makefile.comm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.comm b/Makefile.comm index 5ecd73d8..ad631d78 100644 --- a/Makefile.comm +++ b/Makefile.comm @@ -148,6 +148,7 @@ extraclean: distclean -e "s|@DOCDIR@|$(docdir)|g" \ -e "s|@EXAMPLEDIR@|$(exampledir)|g" \ -e "s|@HTMLDOCDIR@|$(htmldocdir)|g" \ + -e "s|@PDFDOCDIR@|$(pdfdocdir)|g" \ -e "s|@DEVICE@|$(DEVICE)|g" \ -e "s|@DEFAULT_INDEX@|$(indexdir)/$(indexname)|g" \ -e "s|@DEFAULT_INDEX_NAME@|$(indexname)|g" \ |