diff options
| -rw-r--r-- | Makefile.devel | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 77793bab..0bc2a53a 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -299,7 +299,8 @@ distdocs: FORCE # distcompile: FORCE @echo "***** MAKING ELC FILES ****" - $(MAKE) compile +## FIXME: for now, ignroe errors in compilation + -$(MAKE) compile |