Browse Source

Remove documentation from the default makefile rule

remotes/origin/translate_notes
Alexandre Dupas 16 years ago
parent
commit
653d6ae572
  1. 2
      makefile

2
makefile

@ -52,7 +52,7 @@ endef
############################################################
### Cibles
default: pdf documentation
default: pdf
ps: LATEX = latex
ps: $(PSF)

Loading…
Cancel
Save