diff options
Diffstat (limited to '')
-rw-r--r-- | doc/porting/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/porting/Makefile.am b/doc/porting/Makefile.am index 77c42bf03e..b0dcdde820 100644 --- a/doc/porting/Makefile.am +++ b/doc/porting/Makefile.am @@ -78,3 +78,5 @@ miscellaneous.texi: miscellaneous.t EXTRA_DIST = codetuning.t cpuinit.t cpumodels.t developtools.t idlethread.t \ interrupts.t miscellaneous.t prioritybitmap.t sourcecode.t taskcontext.t + +CLEANFILES += porting.info porting.info-? |